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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - titleInLanguage
titleInLanguage

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 The number 1 argument of title in language is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 3106-3106 The number 3 argument of title in language is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3105-3105 The number 2 argument of title in language is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3103-3103 title in language is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Media.kif 3111-3111 title in language is a subrelation of represents in language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4782-4782
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4781-4781
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4780-4780
No TPTP formula. May not be expressible in strict first order. Media.kif 3129-3129 alternative title is a subrelation of title in language
No TPTP formula. May not be expressible in strict first order. Media.kif 3151-3151 display title is a subrelation of title in language
No TPTP formula. May not be expressible in strict first order. Media.kif 3201-3201 grouping title is a subrelation of title in language
No TPTP formula. May not be expressible in strict first order. Media.kif 3222-3222 misspelled title is a subrelation of title in language
No TPTP formula. May not be expressible in strict first order. Media.kif 3190-3190 original title is a subrelation of title in language
No TPTP formula. May not be expressible in strict first order. Media.kif 3180-3180 reference title is a subrelation of title in language
No TPTP formula. May not be expressible in strict first order. Media.kif 3140-3140 sorting title is a subrelation of title in language
No TPTP formula. May not be expressible in strict first order. Media.kif 3258-3258 translated title is a subrelation of title in language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65957-65957

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3243-3247
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 3117-3119
No TPTP formula. May not be expressible in strict first order. Media.kif 3113-3115

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 3234-3240


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