OpenCyc

Logged In: YES
user_id=564384

PS
Sorry, the formula does pass the check for wellformedness.
That which I found in the function extent as well as my
nonsense test formula.

Logged In: YES
user_id=564384

Hi JHeadly,
I suggest that you misunderstood my note:
If you inspect in the current version's virgin image the
function extent of
SubcollectionOfWithRelationToTypeFn
you find the following statement:

(termOfUnit (SubcollectionOfWithRelationToTypeFn Event
highlyRelevantInEvent :BASE-WORD-DENOT)
(SubcollectionOfWithRelationToTypeFn Event
highlyRelevantInEvent :BASE-WORD-DENOT))

I simply ask, what does this mean
...and give an example
where a syntactically similar formula does not pass the check
for wellformedness.

Regards
Dietrich

Logged In: YES
user_id=522978

About your Note, I believe that variables can be upper or
lower case, can be numbers and/or letters, and can start
with ? or not.

I think that the canonical way of representing variables in
CycL formulae is to use all upper-case, preceded by a ?
(question mark).

The formula fails with #$XXX and #$ZZZ (having the #$
prefix) -- I would think that this is non-wff because XXX and
ZZZ are not constants in OpenCyc.

Logged In: YES
user_id=522978

About your Note, I believe that variables can be upper or
lower case, can be numbers and/or letters, and can start
with ? or not.

I think that the canonical way of representing variables in
CycL formulae is to use all upper-case, preceded by a ?
(question mark).

The formula fails with #$XXX and #$ZZZ (having the #$
prefix) -- I would think that this is non-wff because XXX and
ZZZ are not constants in OpenCyc.

Logged In: YES
user_id=522978

About your Note, I believe that variables can be upper or
lower case, can be numbers and/or letters, and can start
with ? or not.

I think that the canonical way of representing variables in
CycL formulae is to use all upper-case, preceded by a ?
(question mark).

The formula fails with #$XXX and #$ZZZ (having the #$
prefix) -- I would think that this is non-wff because XXX and
ZZZ are not constants in OpenCyc.

Logged In: YES
user_id=564384

Sorry, submiiting bugs is possibible without being logged in:
Nobody in this case was dietrichfischer