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

Formal Language: 



KB Term:  Term intersection
English Word: 

  biochemicalAgentDelivery

Sigma KEE - biochemicalAgentDelivery
biochemicalAgentDelivery

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 784-787
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 783-783 生化剂递送 的 2 数量 是 过程subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 781-781 生化剂递送二元谓语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 292-292
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 291-291
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 290-290
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11039-11039
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11038-11038
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11037-11037

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 789-793

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 789-793

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 767-773 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?PROCESSTYPE 是 ?AGENT 的 biochemical 病毒传递 和 ?PROCESS 是 ?PROCESSTYPE 的 instance 和 ?ORGANISM 经历了 ?PROCESS 增加 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 292-292 呼吸雾化的炭疽芽孢杆菌biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 281-281 呼吸炭疽杆菌biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 282-282 消化炭疽杆菌biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 283-283 注射炭疽杆菌biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 284-284 接触炭疽杆菌biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1850-1850 消化蜡状芽孢杆菌biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 200-200 呼吸细菌剂biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 201-201 接触细菌剂biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 477-477 呼吸发泡剂biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 478-478 消化发泡剂biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 476-476 接触发泡剂biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 523-523 呼吸血液剂biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1588-1588 呼吸百日咳博德特氏菌biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 326-326 消化肉毒杆菌毒素biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 357-357 注射burkholderia malleibiochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 374-374 呼吸burkholderia 假单胞菌biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 375-375 消化burkholderia 假单胞菌biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 373-373 注射burkholderia 假单胞菌biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1598-1598 呼吸衣原体鹦鹉热biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 603-603 呼吸窒息剂biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 342-342 消化产气荚膜梭菌biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1507-1507 注射破伤风梭菌biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1250-1250 呼吸coxiella burnetiibiochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1251-1251 消化coxiella burnetiibiochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1921-1921 注射克里米亚刚果出血热病毒biochemical 病毒传递

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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