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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Embracing

 Sigma KEE - Embracing
Embracing(拥抱)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11636-11637
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 11635-11635 拥抱 是 接触 的 subclass

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 11639-11647


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