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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LinguisticExpression
LinguisticExpression(Expressao Linguistica)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1398-1398 Expressao Linguistica e' disjunto de Icone
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1656-1657
No TPTP formula. May not be expressible in strict first order. Merge.kif 1400-1403
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 243-245
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 287-289
No TPTP formula. May not be expressible in strict first order. Merge.kif 1397-1397 Expressao Linguistica e' uma sub-classe de ContentBearingPhysical

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2939-2939 AlphaNumericString e' uma sub-classe de Expressao Linguistica
No TPTP formula. May not be expressible in strict first order. Media.kif 2902-2902 AlphabeticString e' uma sub-classe de Expressao Linguistica
No TPTP formula. May not be expressible in strict first order. Merge.kif 1405-1405 Linguagem e' uma sub-classe de Expressao Linguistica
No TPTP formula. May not be expressible in strict first order. Merge.kif 15296-15296 Morfema e' uma sub-classe de Expressao Linguistica
No TPTP formula. May not be expressible in strict first order. Merge.kif 15323-15323 Frase e' uma sub-classe de Expressao Linguistica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24846-24846 PostalAddressText e' uma sub-classe de Expressao Linguistica
No TPTP formula. May not be expressible in strict first order. Merge.kif 15464-15464 Frase e' uma sub-classe de Expressao Linguistica
No TPTP formula. May not be expressible in strict first order. Merge.kif 15381-15381 Texto e' uma sub-classe de Expressao Linguistica
No TPTP formula. May not be expressible in strict first order. Merge.kif 1543-1543 Palavra e' uma sub-classe de Expressao Linguistica
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 838-838
No TPTP formula. May not be expressible in strict first order. english_format.kif 878-878
No TPTP formula. May not be expressible in strict first order. french_format.kif 514-514
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 46-46
No TPTP formula. May not be expressible in strict first order. terms-it.txt 49-49
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2199-2199
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 466-466
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 81-81
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 535-535
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 50-50

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4617-4617 O argumento numero 1 de expressedInLanguage e' uma instancia de Expressao Linguistica
No TPTP formula. May not be expressible in strict first order. Merge.kif 4477-4477 O argumento numero 1 de representsInLanguage e' uma instancia de Expressao Linguistica

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13152-13158
No TPTP formula. May not be expressible in strict first order. Geography.kif 3125-3132
No TPTP formula. May not be expressible in strict first order. Merge.kif 15389-15394
No TPTP formula. May not be expressible in strict first order. Music.kif 1457-1470
No TPTP formula. May not be expressible in strict first order. Media.kif 3234-3240
No TPTP formula. May not be expressible in strict first order. Media.kif 3117-3119


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