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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Projectile
Projectile(projectile)
missile, pellet, projectile, seeker, shot, spitball

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1114-1115
No TPTP formula. May not be expressible in strict first order. pictureList.kif 678-678
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1113-1113 Projectile is a subclass of weapon

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1669-1669 Arrow projectile is a subclass of projectile
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1182-1182 Bullet is a subclass of projectile
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1194-1194 Bullet cartridge is a subclass of projectile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 190-190 Grenade is a subclass of projectile
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17723-17723 Missile is a subclass of projectile
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22074-22074 Rocket is a subclass of projectile
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47660-47660
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47659-47659
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47658-47658

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. MilitaryDevices.kif 233-245
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 250-262
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 219-228
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1117-1119

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1372-1376
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1138-1145
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1169-1176


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