TreeView Knowledge Base Browser - titleInLanguage

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

titleInLanguage

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	Le nombre 1 argument de titleInLanguage est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3106-3106	Le nombre 3 argument de titleInLanguage est une instance de langage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3105-3105	Le nombre 2 argument de titleInLanguage est une sous-classe de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order.	Media.kif 3103-3103	titleInLanguage est une instance de pr�dicat ternaire
No TPTP formula. May not be expressible in strict first order.	Media.kif 3111-3111	titleInLanguage est une sous-relation de representsInLanguage

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	alternativeTitle est une sous-relation de titleInLanguage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3151-3151	displayTitle est une sous-relation de titleInLanguage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3201-3201	groupingTitle est une sous-relation de titleInLanguage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3222-3222	misspelledTitle est une sous-relation de titleInLanguage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3190-3190	originalTitle est une sous-relation de titleInLanguage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3180-3180	referenceTitle est une sous-relation de titleInLanguage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3140-3140	sortingTitle est une sous-relation de titleInLanguage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3258-3258	translatedTitle est une sous-relation de titleInLanguage
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	titleInLanguage cha�ne sympbolique, ContentBearingPhysical and langage subtitle cha�ne sympbolique, ContentBearingPhysical and langage cha�ne sympbolique est cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3268-3273	titleInLanguage cha�ne sympbolique, entit� and langage originalTitle cha�ne sympbolique, entit� and langage langage est langage translatedTitle cha�ne sympbolique, entit� and langage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3117-3119	titleInLanguage cha�ne sympbolique, entit�-TYPE and langage cha�ne sympbolique est une instance de expression linguistique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3113-3115	titleInLanguage cha�ne sympbolique, entit�-TYPE and langage titles cha�ne sympbolique and entit�-TYPE

consequent

No TPTP formula. May not be expressible in strict first order.

Media.kif 3234-3240

subtitle cha�ne sympbolique, ContentBearingPhysical and langage
cha�ne sympbolique cha�ne sympbolique est une instance de cha�ne sympbolique cha�ne sympbolique est une instance de expression linguistique titleInLanguage cha�ne sympbolique, ContentBearingPhysical and langage

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