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	域 titleInLanguage, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3106-3106	域 titleInLanguage, 3 and Language
No TPTP formula. May not be expressible in strict first order.	Media.kif 3105-3105	域子類 titleInLanguage, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Media.kif 3103-3103	例 titleInLanguage and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Media.kif 3111-3111	子關係 titleInLanguage and 用語言表示

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 and titleInLanguage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3151-3151	子關係 displayTitle and titleInLanguage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3201-3201	子關係 groupingTitle and titleInLanguage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3222-3222	子關係 misspelledTitle and titleInLanguage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3190-3190	子關係 originalTitle and titleInLanguage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3180-3180	子關係 referenceTitle and titleInLanguage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3140-3140	子關係 sortingTitle and titleInLanguage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3258-3258	子關係 translatedTitle and 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	內容承載物理的 title 在 Language 是 SymbolicString SymbolicString 是 sub-title 對於內容承載物理在 SymbolicString 等於 SymbolicString and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3268-3273	Entity 的 title 在 Language 是 SymbolicString Entity 的 original title 在 Language 是 SymbolicString 等於 Language and Language Entity 的 title 翻譯到 Language 是 SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3117-3119	Entity-TYPE 的 title 在 Language 是 SymbolicString 例 SymbolicString and LinguisticExpression
No TPTP formula. May not be expressible in strict first order.	Media.kif 3113-3115	Entity-TYPE 的 title 在 Language 是 SymbolicString entity-TYPE 的 title 是 SymbolicString

consequent

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

Media.kif 3234-3240

SymbolicString 是 sub-title 對於內容承載物理在 SymbolicString
SymbolicString 例 SymbolicString and SymbolicString 例 SymbolicString and LinguisticExpression 內容承載物理的 title 在 Language 是 SymbolicString

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