TreeView Knowledge Base Browser - originalTitle

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - originalTitle

originalTitle

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 3168-3171
No TPTP formula. May not be expressible in strict first order.	Media.kif 3165-3165	O argumento numero 1 de originalTitle e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Media.kif 3167-3167	O argumento numero 3 de originalTitle e' uma instancia de Linguagem
No TPTP formula. May not be expressible in strict first order.	Media.kif 3166-3166	O argumento numero 2 de originalTitle e' uma sub-classe de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order.	Media.kif 3164-3164	originalTitle e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Media.kif 3172-3172	originalTitle e' uma sub-relacao de titleInLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4054-4054
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4053-4053
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4052-4052
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65893-65893

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3250-3255	titleInLanguage Sequencia Simbolica, Entidade and Linguagem originalTitle Sequencia Simbolica, Entidade and Linguagem Linguagem e' igual a Linguagem translatedTitle Sequencia Simbolica, Entidade and Linguagem
No TPTP formula. May not be expressible in strict first order.	Media.kif 3242-3248	translatedTitle Sequencia Simbolica, Entidade and Linguagem originalTitle Sequencia Simbolica, Entidade and Linguagem Sequencia Simbolica e' igual a Sequencia Simbolica Linguagem e' igual a Linguagem

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