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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - biochemicalAgentAntidote
biochemicalAgentAntidote

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 916-919
No TPTP formula. May not be expressible in strict first order. WMD.kif 913-913 生化剂解毒剂 的 1 数量 是 生化剂instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 914-914 生化剂解毒剂 的 2 数量 是 生物活性物质subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 915-915 生化剂解毒剂 的 3 数量 是 过程subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 912-912 生化剂解毒剂三元谓语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 288-288
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 287-287
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 286-286
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11033-11033
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11032-11032
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11031-11031

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 921-929 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?AGENT biochemical 病毒解毒制剂 ?SUBSTANCE 对于 ?PROCESS 和 ?SAMPLE 是 ?SUBSTANCE 的 instance 和 ?THERAPY 是 ?PROCESS 的 instance 和 ?ORGANISM 经历了 ?THERAPY 和 ?SAMPLE 是 ?THERAPY 的 patient 减少 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 507-507 路易氏剂 biochemical 病毒解毒制剂 二巯基丙醇 对于 遮盖
No TPTP formula. May not be expressible in strict first order. WMD.kif 561-561 神经毒剂 biochemical 病毒解毒制剂 阿托品 对于 注射
No TPTP formula. May not be expressible in strict first order. WMD.kif 581-581 梭曼 biochemical 病毒解毒制剂 吡啶斯的明溴化物 对于


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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