I cannot understand, why in UniversalVocabularyMt the
following is asserted:
while (I agree here:)
(not (isa MedicalSpecialtyType
(not (isa Nationality
(not (isa PersonTypeByEthnicity
I find that in UniversalVocabularyMt
Nationality is only a Collection, but in
OrganizationGVocalurayMt a CollectionType,
the same for MedicalSpecialtyType, which is a
CollectionType in HumanSocialLifeMt.
Furthermore, I wonder whether the following singular rule
Mt : HumanSocialLifeMt
Direction : Forward
(implies (ist BaseKB (genls ?X Artist)) (isa ?X
The binding to BaseKB cannot really prevent that
special subconcepts of Artist
will then belong to PersonTypeByActivity, - subconcepts
which should not
belong to that metaconcept, e.g. "An artist who dies in
By the way, the rule behaved as a backward rule, not as
forward rule (by
storing and showing the assertion).
Log in to post a comment.