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 1125-1125
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 1124-1124	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 1154-1154	Gun is a subclass of projectile launcher
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47668-47668
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47667-47667
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47666-47666

antecedent

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

Mid-level-ontology.kif 1127-1129

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 1371-1375	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 1131-1138	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