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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ToxicOrganism

 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 子類 有毒生物 and Organism

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 198-198 子類 細菌劑 and 有毒生物
No TPTP formula. May not be expressible in strict first order. WMD.kif 213-213 子類 真菌劑 and 有毒生物
No TPTP formula. May not be expressible in strict first order. WMD.kif 230-230 子類 病毒劑 and 有毒生物
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 劃分 生物製劑, 毒素 and 有毒生物

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


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