TreeView Knowledge Base Browser

appearance as argument number 1

(documentation grandmother EnglishLanguage "(grandmother ?PERSON ?PARENT) means that ?PARENT is the grandmother of ?PERSON.")	Mid-level-ontology.kif 23089-23090
(domain grandmother 1 Human)	Mid-level-ontology.kif 23091-23091	grandmother の数値 1 引数は人［人間］の instance では %n
(domain grandmother 2 Woman)	Mid-level-ontology.kif 23092-23092	grandmother の数値 2 引数は Woman の instance では %n
(instance grandmother BinaryPredicate)	Mid-level-ontology.kif 23016-23016	grandmother は 2進述語の instance では %n
(subrelation grandmother grandparent)	Mid-level-ontology.kif 23015-23015	grandmother は grandparent の subrelation では %n

appearance as argument number 2

(format ChineseLanguage grandmother "%1 的 grandmother 是 %2 ")	domainEnglishFormat.kif 3542-3542
(format ChineseTraditionalLanguage grandmother "%1 的 grandmother 是 %2 ")	domainEnglishFormat.kif 3541-3541
(format EnglishLanguage grandmother "the grandmother of %1 is %2")	domainEnglishFormat.kif 3540-3540
(termFormat ChineseLanguage grandmother "祖母")	domainEnglishFormat.kif 26400-26400
(termFormat ChineseTraditionalLanguage grandmother "祖母")	domainEnglishFormat.kif 26399-26399
(termFormat EnglishLanguage grandmother "grandmother")	domainEnglishFormat.kif 26398-26398

antecedent

(=>
    (grandmother ?H ?P)
    (exists (?C)
        (and
            (mother ?C ?P)
            (parent ?H ?C))))

Mid-level-ontology.kif 23094-23099

grandmother 人［人間］ and Woman
物 Woman は物の mother では %n 物は人［人間］の parent では %n

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 23060-23075

cousin 人［人間］ and 人［人間］ Woman Man grandmother 人［人間］ and Woman grandfather 人［人間］ and Man grandmother 人［人間］ and Woman grandfather 人［人間］ and Man 物物物は人［人間］の mother では %n 物は人［人間］の father では %n 物は人［人間］の mother では %n 物は人［人間］の father では %n

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

KB Term:			Term intersection

English Word: