parasite - Sigma Knowledge base Browser

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 7209-7212
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7214-7214	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 7215-7215	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 7213-7213	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 1907-1907
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1906-1906
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1905-1905
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44420-44420
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44419-44419
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44418-44418

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7221-7227	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 7217-7219	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 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