TreeView Knowledge Base Browser - parasite

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 6271-6274
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6276-6276	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 6277-6277	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 6275-6275	parasite is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2003-2003	parasite is internally related to parasitic

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 44418-44418
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44417-44417
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44416-44416

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6283-6289	If an organism is a parasite of another organism, then there exists a process such that the process is an instance of injuring and the other organism is an agent of the process and the organism is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6279-6281	If an organism is a parasite of another organism, then the other organism lives in the organism

consequent

No TPTP formula. May not be expressible in strict first order.

WMD.kif 2007-2015

If parasitic a kind of organism and another kind of organism,
then there exist an entity and another entity such that the statement the entity is an instance of a kind of organism and the other entity is an instance of another kind of organism and the other entity is a parasite of the entity has the modal force of possibility

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

Show without tree

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