TreeView Knowledge Base Browser - LoadingWeapon

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LoadingWeapon

LoadingWeapon(loading weapon)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1362-1363
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1361-1361	Loading weapon is a subclass of inserting

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34799-34799
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34798-34798
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34797-34797

antecedent

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 1365-1369	If a process is an instance of loading weapon and an entity is a patient of the process, then the entity is an instance of projectile

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