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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoftDrinkAndIceManufacturing

 Sigma KEE - ExpressingInLanguage
ExpressingInLanguage

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13162-13164
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13160-13160 ExpressingInLanguage est une sous-classe de exprimer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13161-13161 ExpressingInLanguage est une sous-classe de LinguisticCommunication

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13170-13170 Thanking est une sous-classe de ExpressingInLanguage
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 12970-12970 Exprimer est compl�tement d�compos� en Gesture + ExpressingInLanguage


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