TreeView Knowledge Base Browser - ArtilleryGun

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ArtilleryGun

ArtilleryGun

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1600-1601
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1037-1037
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1599-1599	ArtilleryGun e' uma sub-classe de Gun

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1162-1162	O conceito Gun e' completamente decomposto em ArtilleryGun + Firearm
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 171-171	ArtilleryCannon e' uma sub-classe de ArtilleryGun
No TPTP formula. May not be expressible in strict first order.	Military.kif 147-147	MilitaryTank e' uma sub-classe de ArtilleryGun
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1178-1178	MortarGun e' uma sub-classe de ArtilleryGun
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8544-8544
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8543-8543
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8542-8542

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