TreeView Knowledge Base Browser - Punching

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Punching

Punching(punching)

biff, clout, lick, plug, poke, punch, slug

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6613-6614
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6807-6807
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7694-7694
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7696-7696
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7695-7695
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6611-6611	Punching is a subclass of impelling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6612-6612	Punching is a subclass of intentional process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48130-48130
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48129-48129
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48128-48128

antecedent

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

Mid-level-ontology.kif 6616-6625

If a process is an instance of punching and an agent is an agent of the process,
then there exists an object such that the object is an instance of hand and fist is an attribute of the object and the object is a part of the agent 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