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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExpressingInLanguage

 Sigma KEE - ExpressingInLanguage
ExpressingInLanguage(用語言表達)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13135-13137
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13133-13133 子類 用語言表達 and Expressing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13134-13134 子類 用語言表達 and 語言交流

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13143-13143 子類 感謝 and 用語言表達
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22966-22966
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22965-22965
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22964-22964

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12943-12943 劃分 Expressing, 手勢 and 用語言表達


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