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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Weapon
Weapon(武器)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3632-3633
No TPTP formula. May not be expressible in strict first order. Merge.kif 16024-16026
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1303-1303
No TPTP formula. May not be expressible in strict first order. Merge.kif 16023-16023 武器设备subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3713-3713 家具 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 653-653 反装甲武器武器subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21823-21823 炸弹武器subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17857-17857 爆炸性的矿井武器subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1160-1160 武器subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 632-632 高精度武器武器subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22055-22055 砂浆武器subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 131-131 核武器武器subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1113-1113 抛射物武器subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1131-1131 抛射物发射器武器subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1147-1147 武器subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1151-1151 武器subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1449-1449 大规模杀伤性武器武器subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1155-1155 鞭子武器subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1059-1059
No TPTP formula. May not be expressible in strict first order. english_format.kif 1329-1329
No TPTP formula. May not be expressible in strict first order. french_format.kif 737-737
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 268-268
No TPTP formula. May not be expressible in strict first order. terms-it.txt 271-271
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2421-2421
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 689-689
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 273-273
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 307-307
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 758-758

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 24-24 武器携带能力 的 2 数量 是 武器subclass

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 61-66
No TPTP formula. May not be expressible in strict first order. Merge.kif 16028-16030
No TPTP formula. May not be expressible in strict first order. Merge.kif 16032-16039

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 48-56
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1355-1361
No TPTP formula. May not be expressible in strict first order. WMD.kif 707-718
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1472-1492


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