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

Formal Language: 



KB Term:  Term intersection
English Word: 

  alternativeTitle

 Sigma KEE - alternativeTitle
alternativeTitle

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3107-3110
No TPTP formula. May not be expressible in strict first order. Media.kif 3104-3104 O argumento numero 1 de alternativeTitle e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Media.kif 3106-3106 O argumento numero 3 de alternativeTitle e' uma instancia de Linguagem
No TPTP formula. May not be expressible in strict first order. Media.kif 3105-3105 O argumento numero 2 de alternativeTitle e' uma sub-classe de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order. Media.kif 3103-3103 alternativeTitle e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order. Media.kif 3111-3111 alternativeTitle e' uma sub-relacao de titleInLanguage

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2786-2786
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2785-2785
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2784-2784
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65778-65778


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