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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiochemicalWeapon
BiochemicalWeapon(生化武器)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 107-107 生化武器 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. WMD.kif 104-106
No TPTP formula. May not be expressible in strict first order. WMD.kif 108-108 生化武器 详尽无遗地 partition 成 生物武器 和 化学武器
No TPTP formula. May not be expressible in strict first order. WMD.kif 103-103 生化武器 是 大规模杀伤性武器 的 subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 118-118 放射性武器 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. WMD.kif 140-140 生物武器 是 生化武器 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 453-453 化学武器 是 生化武器 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11057-11057
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11056-11056
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11055-11055

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 673-673 大规模杀伤性武器 详尽无遗地 partition 成 放射性武器 和 生化武器

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


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