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	Le nombre 1 argument de parasitic est une sous-classe de organisme
(domainSubclass parasitic 2 Organism)	WMD.kif 2002-2002	Le nombre 2 argument de parasitic est une sous-classe de organisme
(instance parasitic BinaryPredicate)	WMD.kif 2000-2000	parasitic est une instance de pr�dicat binaire

appearance as argument number 2

(relatedInternalConcept parasite parasitic)	WMD.kif 2003-2003	parasite est reli� � l'int�rieur de SUMO � 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 organisme and organisme
entit� entit� l'argument entit� est une instance de organisme entit� est une instance de organisme parasite entit� and entit� a la force modale de Possibility

appearance as argument number 0

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

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

KB Term:			Term intersection

English Word: