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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExpressingInLanguage

 Sigma KEE - ExpressingInLanguage
ExpressingInLanguage(expressing in language)discourse, discuss, talk_about

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13134-13136
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13132-13132 Expressing in language is a subclass of expressing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13133-13133 Expressing in language is a subclass of linguistic communication

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13142-13142 Thanking is a subclass of expressing in language
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 12942-12942 Expressing is exhaustively partitioned into gesture and expressing in language


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