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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - parasite
parasite

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6096-6099
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6101-6101 The number 1 argument of parasite is an instance of organism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6102-6102 The number 2 argument of parasite is an instance of organism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6100-6100 parasite is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1903-1903
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1902-1902
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1901-1901
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44311-44311
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44310-44310
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44309-44309

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6108-6114
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6104-6106


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners