TreeView Knowledge Base Browser - LinguisticExpression

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

LinguisticExpression

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 15274-15274	Morfema e' uma sub-classe de Expressao Linguistica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15301-15301	Frase e' uma sub-classe de Expressao Linguistica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24847-24847	PostalAddressText e' uma sub-classe de Expressao Linguistica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15442-15442	Frase e' uma sub-classe de Expressao Linguistica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15359-15359	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 13130-13136	Processo e' uma instancia de LinguisticCommunication Entidade Processo define Entidade Entidade e' uma instancia de Expressao Linguistica Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3125-3132	Processo e' uma instancia de SigningAnAgreement ContentBearingPhysical Proposicao ContentBearingPhysical e' uma instancia de Expressao Linguistica Proposicao e' uma instancia de Agreement ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15367-15372	Objeto e' uma instancia de Texto Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Expressao Linguistica
No TPTP formula. May not be expressible in strict first order.	Music.kif 1457-1470	originalExpressedInLanguage Proposicao and Linguagem Expressao Linguistica Intervalo Temporal Expressao Linguistica e' uma instancia de Expressao Linguistica Expressao Linguistica representa Proposicao na linguagem Linguagem Intervalo Temporal e' igual a tempo de existencia de Expressao Linguistica Intervalo Temporal Fisico Fisico e' uma instancia de Expressao Linguistica Fisico define Proposicao Intervalo Temporal e' igual a tempo de existencia de Fisico Intervalo Temporal comeca antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 3234-3240	subtitle Sequencia Simbolica, ContentBearingPhysical and Linguagem Sequencia Simbolica Sequencia Simbolica e' uma instancia de Sequencia Simbolica Sequencia Simbolica e' uma instancia de Expressao Linguistica titleInLanguage Sequencia Simbolica, ContentBearingPhysical and Linguagem
No TPTP formula. May not be expressible in strict first order.	Media.kif 3117-3119	titleInLanguage Sequencia Simbolica, Entidade-TYPE and Linguagem Sequencia Simbolica e' uma instancia de Expressao Linguistica

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