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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cream

 Sigma KEE - ToxicOrganism
ToxicOrganism

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 188-189
No TPTP formula. May not be expressible in strict first order. WMD.kif 187-187 ToxicOrganism e' uma sub-classe de Organismo

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 198-198 BacterialAgent e' uma sub-classe de ToxicOrganism
No TPTP formula. May not be expressible in strict first order. WMD.kif 213-213 FungalAgent e' uma sub-classe de ToxicOrganism
No TPTP formula. May not be expressible in strict first order. WMD.kif 230-230 ViralAgent e' uma sub-classe de ToxicOrganism
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58676-58676
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58675-58675
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58674-58674
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 220-220
No TPTP formula. May not be expressible in strict first order. terms-it.txt 223-223
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 258-258
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 224-224

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 157-157 O conceito BiologicalAgent e' completamente decomposto em Toxin + ToxicOrganism

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 191-196