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	Die Zahl 1 Argument von parasitic ist eine teilkategorie von Organism %n{nicht}
(domainSubclass parasitic 2 Organism)	WMD.kif 2002-2002	Die Zahl 2 Argument von parasitic ist eine teilkategorie von Organism %n{nicht}
(instance parasitic BinaryPredicate)	WMD.kif 2000-2000	parasitic ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(relatedInternalConcept parasite parasitic)	WMD.kif 2003-2003	parasite ist innerlich verwandt mit parasitic %n{nicht}
(termFormat EnglishLanguage parasitic "parasitic")	domainEnglishFormat.kif 65939-65939	parasite ist innerlich verwandt mit parasitic %n{nicht}

antecedent

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

WMD.kif 2007-2015

Wenn parasitic ** Organism and ** ** Organism,
dann es gibt entity und ** entity um die Aussage ** entity ist ein fall von ** Organism %n{nicht} und ** ** entity ist ein fall von ** ** Organism %n{nicht} und parasite ** entity and ** ** entity hat die modale Kraft von Possibility

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: