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

Formal Language: 



KB Term:  Term intersection
English Word: 

  originalTitle

 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 域 originalTitle, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order. Media.kif 3167-3167 域 originalTitle, 3 and Language
No TPTP formula. May not be expressible in strict first order. Media.kif 3166-3166 域子類 originalTitle, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order. Media.kif 3164-3164 例 originalTitle and TernaryPredicate
No TPTP formula. May not be expressible in strict first order. Media.kif 3172-3172 子關係 originalTitle and 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
No TPTP formula. May not be expressible in strict first order. Media.kif 3242-3248


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