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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BiochemicalAgent

Sigma KEE - BiochemicalAgent
BiochemicalAgent(生化剂)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 81-81
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10529-10529
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10528-10528
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8983-8983
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8984-8984
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8985-8985
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8986-8986
No TPTP formula. May not be expressible in strict first order. WMD.kif 82-82 生化剂 详尽无遗地 partition生物制剂化学剂
No TPTP formula. May not be expressible in strict first order. WMD.kif 80-80 生化剂生物活性物质subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 97-97 雾化剂生化剂subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 152-152 生物制剂生化剂subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 444-444 化学剂生化剂subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 1002-1002 危及生命的特工生化剂subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11036-11036
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11035-11035
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11034-11034

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 909-909 生化剂解毒剂 的 1 数量 是 生化剂instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 782-782 生化剂递送 的 1 数量 是 生化剂subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 761-761 生化药物综合症 的 1 数量 是 生化剂subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 796-796 有效剂量 的 1 数量 是 生化剂subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 843-843 致死剂量 的 1 数量 是 生化剂subclass

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 110-115


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