Menu
▾
▴
#25 Being CapitalCityOfRegion is better seen as a consequence
... 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).
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.
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.