TreeView Knowledge Base Browser

appearance as argument number 1

(documentation burialplace EnglishLanguage "(burialplace ?INDIV ?PLACE) means that ?PLACE is the place where ?INDIV was buried.")	Biography.kif 202-203
(domain burialplace 1 Animal)	Biography.kif 204-204	burialplace の数値 1 引数は動物の instance では %n
(domain burialplace 2 Object)	Biography.kif 205-205	burialplace の数値 2 引数はオブジェクトの instance では %n
(instance burialplace BinaryPredicate)	Biography.kif 206-206	burialplace は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage burialplace "%1 是在 %2 ubried ")	domainEnglishFormat.kif 2930-2930
(format ChineseTraditionalLanguage burialplace "%1 是在 %2 ubried ")	domainEnglishFormat.kif 2929-2929
(format EnglishLanguage burialplace "%1 is ubried at %2")	domainEnglishFormat.kif 2928-2928
(termFormat EnglishLanguage burialplace "burialplace")	domainEnglishFormat.kif 65788-65788

antecedent

(=>
    (burialplace ?INDIV ?PLACE)
    (exists (?BURIAL)
        (and
            (instance ?BURIAL Burial)
            (patient ?BURIAL ?INDIV)
            (eventLocated ?BURIAL ?PLACE))))

Biography.kif 208-214

burialplace 動物 and オブジェクト
工程工程は Burial の instance では %n 動物は工程の patient では %n eventLocated 工程 and オブジェクト

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

KB Term:			Term intersection

English Word: