#19 (SubcollectionOfWithRelationToTypeFn Event highlyRelevantInE

open
nobody
KB Content (9)
5
2003-01-24
2003-01-24
Anonymous
No

(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.

Discussion

  • Logged In: YES
    user_id=564384

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

     
  • Jen Headley
    Jen Headley
    2003-10-28

    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.

     
  • Jen Headley
    Jen Headley
    2003-10-28

    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.

     
  • Jen Headley
    Jen Headley
    2003-10-28

    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.