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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BiologicalAgent

Sigma KEE - BiologicalAgent
BiologicalAgent(生物制剂)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 153-156
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10524-10524
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9908-9908
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10522-10522
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10521-10521
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10520-10520
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10523-10523
No TPTP formula. May not be expressible in strict first order. WMD.kif 157-157 生物制剂 详尽无遗地 partition毒素有毒生物
No TPTP formula. May not be expressible in strict first order. WMD.kif 152-152 生物制剂生化剂subclass

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


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 88-88 AgentOfOrganismFn 的所得值 是 生物制剂subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 159-159 毒素生物制剂subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11093-11093
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11092-11092
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11091-11091

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 970-970 生物制剂载体 的 1 数量 是 生物制剂subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 145-150


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