Menu
▾
▴
#19 (SubcollectionOfWithRelationToTypeFn Event highlyRelevantInE
(SubcollectionOfWithRelationToTypeFn Event
highlyRelevantInEvent :BASE-WORD-DENOT)
What is this?
Cf. :
Formula Diagnosis
Mt : BaseKB
Formula :
(termOfUnit
(SubcollectionOfWithRelationToTypeFn Event
highlyRelevantInEvent XXX)
(SubcollectionOfWithRelationToTypeFn Event
highlyRelevantInEvent ZZZ))
Diagnosis : OK
Note: XXX and ZZZ do not have got the prefix #$, just
anything written.
Logged In: YES
user_id=564384
Sorry, submiiting bugs is possibible without being logged in:
Nobody in this case was dietrichfischer
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
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=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.