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

Formal Language: 



KB Term:  Term intersection
English Word: 

  parasitic

 Sigma KEE - parasitic
parasitic

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 2004-2005
No TPTP formula. May not be expressible in strict first order. WMD.kif 2001-2001 O argumento numero 1 de parasitic e' uma sub-classe de Organismo
No TPTP formula. May not be expressible in strict first order. WMD.kif 2002-2002 O argumento numero 2 de parasitic e' uma sub-classe de Organismo
No TPTP formula. May not be expressible in strict first order. WMD.kif 2000-2000 parasitic e' uma instancia de Predicado Binario

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 2003-2003 parasite e' relacionado internamente por SUMO a parasitic
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65892-65892

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 2007-2015

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1977-1977 parasitic Louse and Passaro
No TPTP formula. May not be expressible in strict first order. WMD.kif 1976-1976 parasitic Louse and Mamifero
No TPTP formula. May not be expressible in strict first order. WMD.kif 1988-1988 parasitic Tick and Passaro
No TPTP formula. May not be expressible in strict first order. WMD.kif 1987-1987 parasitic Tick and Mamifero


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