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 不相交的 生化武器 and 放射性武器
No TPTP formula. May not be expressible in strict first order. WMD.kif 104-106 不相交的 生化武器 and 放射性武器
No TPTP formula. May not be expressible in strict first order. WMD.kif 108-108 劃分 生化武器, 生物武器 and 化學武器
No TPTP formula. May not be expressible in strict first order. WMD.kif 103-103 子類 生化武器 and 大規模殺傷性武器

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 118-118 不相交的 放射性武器 and 生化武器
No TPTP formula. May not be expressible in strict first order. WMD.kif 140-140 子類 生物武器 and 生化武器
No TPTP formula. May not be expressible in strict first order. WMD.kif 453-453 子類 化學武器 and 生化武器
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11072-11072 子類 化學武器 and 生化武器
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11071-11071 子類 化學武器 and 生化武器
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11070-11070 子類 化學武器 and 生化武器

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 673-673 劃分 大規模殺傷性武器, 放射性武器 and 生化武器

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