#25 Being CapitalCityOfRegion is better seen as a consequence

v0.7
open
nobody
KB Content (9)
5
2003-06-12
2003-06-12
No

... than made a precondition of asserting a predication
with capitalCity:
Why make a role, which is played as a consequence of a
relationship, a presupposition for playing the role in the
relationship?

OpenCyc currently demands in BaseKB that (arg2Isa
capitalCity CapitalCityOfRegion).
It would suffice to demand (arg2Isa capitalCity City).
A rule can then infer what was presupposed:
(implies (capitalCity ?X ?Y) (isa ?Y CapitalCityOfRegion)).
In addition the following rule holds:
(implies ((isa ?Y CapitalCityOfRegion) (thereExists ?X
(capitalCity ?X ?Y)))
Therefore CapitalCityOfRegion can be defined as
(SubcollectionOfWithRelationFromTypeFn City capitalCity
GeopolitcalEntity).

Discussion

  • Casey McGinnis
    Casey McGinnis
    2005-02-10

    Logged In: YES
    user_id=1085367

    You're absolutely right. This is a problem that we have
    been aware of for a long time. Our plan is to adjust
    WFF-checking so that instead of rejecting, e.g.

    (mother Person01 Person02)

    on the grounds that Person02 is not known to be a female,
    Cyc would accept the assertion as well-formed provided it
    doesn't know that Person02 is NOT a female. Consequently,
    Cyc would infer (or be able to infer) that Person02 must be
    a female.

    It may be some time before this is implemented, however...

    In the meantime, the arg2Isa on capitalCity has been
    loosened to City.

     
  • Casey McGinnis
    Casey McGinnis
    2005-02-10

    Logged In: YES
    user_id=1085367

    You're absolutely right. This is a problem that we have
    been aware of for a long time. Our plan is to adjust
    WFF-checking so that instead of rejecting, e.g.

    (mother Person01 Person02)

    on the grounds that Person02 is not known to be a female,
    Cyc would accept the assertion as well-formed provided it
    doesn't know that Person02 is NOT a female. Consequently,
    Cyc would infer (or be able to infer) that Person02 must be
    a female.

    It may be some time before this is implemented, however...

    In the meantime, the arg2Isa on capitalCity has been
    loosened to City.