TreeView Knowledge Base Browser

appearance as argument number 1

(documentation parasitic EnglishLanguage "A BinaryPredicate that is the counterpart to parasite, but for classes rather than instances.")	WMD.kif 2004-2005
(domainSubclass parasitic 1 Organism)	WMD.kif 2001-2001	parasitic の数値 1 引数は物のsubclass では %n
(domainSubclass parasitic 2 Organism)	WMD.kif 2002-2002	parasitic の数値 2 引数は物のsubclass では %n
(instance parasitic BinaryPredicate)	WMD.kif 2000-2000	parasitic は 2進述語の instance では %n

appearance as argument number 2

(relatedInternalConcept parasite parasitic)	WMD.kif 2003-2003	parasite は parasitic に internally 関連して %n
(termFormat EnglishLanguage parasitic "parasitic")	domainEnglishFormat.kif 65892-65892

antecedent

(=>
    (parasitic ?O1 ?O2)
    (exists (?I1 ?I2)
        (modalAttribute
            (and
                (instance ?I1 ?O1)
                (instance ?I2 ?O2)
                (parasite ?I1 ?I2)) Possibility)))

WMD.kif 2007-2015

parasitic 物 and 物
エンティティーエンティティーステートメントエンティティーは物の instance では %n エンティティーは物の instance では %n parasite エンティティー and エンティティーには Possibility の modal force がある

appearance as argument number 0

(parasitic Louse Bird)	WMD.kif 1977-1977	parasitic Louse and 鳥
(parasitic Louse Mammal)	WMD.kif 1976-1976	parasitic Louse and 哺乳動物
(parasitic Tick Bird)	WMD.kif 1988-1988	parasitic Tick and 鳥
(parasitic Tick Mammal)	WMD.kif 1987-1987	parasitic Tick and 哺乳動物

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

KB Term:			Term intersection

English Word: