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 3186-3189
No TPTP formula. May not be expressible in strict first order. Media.kif 3183-3183 originalTitle 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3185-3185 originalTitle 的 3 数量 是 语言instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3184-3184 originalTitle 的 2 数量 是 内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 3182-3182 originalTitle三元谓语instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3190-3190 originalTitletitleInLanguagesubrelation

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 65891-65891

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 3268-3273
No TPTP formula. May not be expressible in strict first order. Media.kif 3260-3266


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