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 6619-6620
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 6617-6617 Punching is a subclass of impelling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6618-6618 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 48128-48128
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48127-48127
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48126-48126

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6622-6631


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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