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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Gun
Gun(槍)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1163-1163
No TPTP formula. May not be expressible in strict first order. pictureList.kif 106-106
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1162-1162 劃分 , 火砲槍 and 火器
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1161-1161 子類 and 拋射物發射器
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1160-1160 子類 and Weapon

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1599-1599 子類 火砲槍 and
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1566-1566 子類 自動槍 and
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1603-1603 子類 火器 and
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27078-27078
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27077-27077
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27076-27076
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1365-1365 槍扳機 typicallypart
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1366-1366 typicallypart 槍扳機

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 211-211 域子類 口徑, 1 and

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1235-1247
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1417-1436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1395-1413
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1165-1167

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1184-1192
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1228-1233
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1169-1176
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1442-1447


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