Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Punching

Sigma KEE - Punching
Punching(沖壓)

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 子類 沖壓 and Impelling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6612-6612 子類 沖壓 and IntentionalProcess

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


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