TreeView Knowledge Base Browser

appearance as argument number 1

(documentation grandfather EnglishLanguage "(grandfather ?PERSON ?PARENT) means that ?PARENT is the grandfather of ?PERSON.")	Mid-level-ontology.kif 20971-20972
(domain grandfather 1 Human)	Mid-level-ontology.kif 20973-20973	grandfather 的 1 数量是人类的 instance
(domain grandfather 2 Man)	Mid-level-ontology.kif 20974-20974	grandfather 的 2 数量是 Man 的 instance
(instance grandfather BinaryPredicate)	Mid-level-ontology.kif 20900-20900	grandfather 是二元谓语的 instance
(subrelation grandfather grandparent)	Mid-level-ontology.kif 20899-20899	grandfather 是 grandparent 的 subrelation

appearance as argument number 2

(format EnglishLanguage grandfather "the grandfather of %1 is %2")	domainEnglishFormat.kif 894-894
(termFormat EnglishLanguage grandfather "grandfather")	domainEnglishFormat.kif 4820-4820	termFormat EnglishLanguage, grandfather and "grandfather"

antecedent

(=>
    (grandfather ?H ?P)
    (exists (?C)
        (and
            (father ?C ?P)
            (parent ?H ?C))))

Mid-level-ontology.kif 20977-20982

如果 grandfather 人类 and Man，
然后有存在生物这样那个 Man 是那个生物 father 和那个生物是那个人类的 parent

consequent

(<=>
    (cousin ?P1 ?P2)
    (and
        (exists (?G1 ?G2)
            (and
                (grandmother ?P1 ?G1)
                (grandfather ?P1 ?G2)
                (grandmother ?P2 ?G1)
                (grandfather ?P2 ?G2)))
        (not
            (exists (?M ?F)
                (and
                    (mother ?P1 ?M)
                    (father ?P1 ?F)
                    (mother ?P2 ?M)
                    (father ?P2 ?F))))))

Mid-level-ontology.kif 20954-20969

cousin 人类 and 另一个人类若且唯若有存在 Woman 和 Man 这样 grandmother 那个人类 and 那个 Woman 和 grandfather 那个人类 and 那个 Man 和 grandmother 那个另外人类 and 那个 Woman 和 grandfather 那个另外人类 and 那个 Man 和不存在生物和另一个生物这样那个生物是那个人类的 mother 和那个另外生物是那个人类 father 和那个生物是那个另外人类的 mother 和那个另外生物是那个另外人类 father

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: