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 6271-6274
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6276-6276	O argumento numero 1 de parasite e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6277-6277	O argumento numero 2 de parasite e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6275-6275	parasite e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2003-2003	parasite e' relacionado internamente por SUMO a 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	parasite Organismo and Organismo Processo Processo e' uma instancia de Ferir Processo e' um agente de Organismo Organismo e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6279-6281	parasite Organismo and Organismo Organismo vive em Organismo

consequent

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

WMD.kif 2007-2015

parasitic Organismo and Organismo
Entidade Entidade o argumento Entidade e' uma instancia de Organismo Entidade e' uma instancia de Organismo parasite Entidade and Entidade tem a forca modal de 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