Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - parasitic
parasitic

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
(domainSubclass parasitic 2 Organism) WMD.kif 2002-2002
(instance parasitic BinaryPredicate) WMD.kif 2000-2000

appearance as argument number 2
-------------------------


(relatedInternalConcept parasite parasitic) WMD.kif 2003-2003
(termFormat EnglishLanguage parasitic "parasitic") domainEnglishFormat.kif 65894-65894

antecedent
-------------------------


(=>
    (parasitic ?O1 ?O2)
    (exists (?I1 ?I2)
        (modalAttribute
            (and
                (instance ?I1 ?O1)
                (instance ?I2 ?O2)
                (parasite ?I1 ?I2)) Possibility)))
WMD.kif 2007-2015

appearance as argument number 0
-------------------------


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


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners