TreeView Knowledge Base Browser - ProjectileLauncher

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ProjectileLauncher

Sigma KEE - ProjectileLauncher

ProjectileLauncher(projectile launcher)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1132-1132
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1308-1308
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1131-1131	Projectile launcher 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 1161-1161	Gun is a subclass of projectile launcher
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47666-47666
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47665-47665
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47664-47664

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 1134-1136

If an object is an instance of projectile launcher,
then the object is capable of doing shooting as a instrument

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1378-1382	If a process is an instance of loading weapon and the process ends up at an entity, then the entity is an instance of projectile launcher
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1138-1145	If a process is an instance of shooting, then there exist an entity and an object such that the entity is an instance of projectile and the entity is a patient of the process and the object is an instance of projectile launcher and the object is an instrument for the process

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