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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Embracing
Embracing(embracing)
more pictures...
Japanese_stranglehold, bear_hug, bosom, clinch, cradle, embrace, full_nelson, half_nelson, hammerlock, headlock, hug, lock, nelson, scissor_grip, scissor_hold, scissors, scissors_grip, scissors_hold, squeeze, stranglehold, wrestling_hold

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11637-11638
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10942-10942
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10941-10941
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10940-10940
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10943-10943
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10944-10944
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10939-10939
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10937-10937
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10938-10938
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9999-9999
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11636-11636 Embracing is a subclass of touching

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21894-21894
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21893-21893
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21892-21892

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


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


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