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 and Organism
(domainSubclass parasitic 2 Organism)	WMD.kif 2002-2002	域子類 parasitic, 2 and Organism
(instance parasitic BinaryPredicate)	WMD.kif 2000-2000	例 parasitic and BinaryPredicate

appearance as argument number 2

(relatedInternalConcept parasite parasitic)	WMD.kif 2003-2003	相關的內部概念寄生物 and parasitic
(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 Organism and Organism
entity entity 模態屬性例 entity and Organism 例 entity and Organism entity 是 entity 的 parasite and 可能性

appearance as argument number 0

(parasitic Louse Bird)	WMD.kif 1977-1977	parasitic Louse and Bird
(parasitic Louse Mammal)	WMD.kif 1976-1976	parasitic Louse and Mammal
(parasitic Tick Bird)	WMD.kif 1988-1988	parasitic Tick and Bird
(parasitic Tick Mammal)	WMD.kif 1987-1987	parasitic Tick and Mammal

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

KB Term:			Term intersection

English Word: