TreeView Knowledge Base Browser - HandGesture

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HandGesture

HandGesture(hand gesture)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13069-13069
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2688-2688
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13068-13068	Hand gesture is a subclass of gesture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13088-13088	Clapping is a subclass of hand gesture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13078-13078	Waving is a subclass of hand gesture
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27318-27318
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27317-27317
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27316-27316

antecedent

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

Mid-level-ontology.kif 13071-13076

If a process is an instance of hand gesture,
then there exists an entity such that the entity is an instance of hand and the entity is a patient of 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