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

Formal Language: 



KB Term:  Term intersection
English Word: 

  titles

 Sigma KEE - titles
titles

appearance as argument number 1
-------------------------


(documentation titles EnglishLanguage "A BinaryPredicate used to indicate the title of a ContentBearingPhysical. Note that the second argument type restriction is a subclass, rather than an instance, of ContentBearingPhysical. Thus, the title Murder_on_the_Orient_Express corresponds to a large class of Books, and not just to a single copy of the book.") Mid-level-ontology.kif 14736-14741
(domain titles 1 SymbolicString) Mid-level-ontology.kif 14734-14734 域 標題, 1 and SymbolicString
(domainSubclass titles 2 ContentBearingPhysical) Mid-level-ontology.kif 14735-14735 域子類 標題, 2 and 內容承載物理
(instance titles BinaryPredicate) Mid-level-ontology.kif 14733-14733 例 標題 and BinaryPredicate
(subrelation titles names) Mid-level-ontology.kif 14732-14732 子關係 標題 and 名

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


(format ChineseLanguage titles "%2 的 title 是 %1 ") domainEnglishFormat.kif 4786-4786
(format ChineseTraditionalLanguage titles "%2 的 title 是 %1 ") domainEnglishFormat.kif 4785-4785
(format EnglishLanguage titles "the title of %2 is %1") domainEnglishFormat.kif 4784-4784
(termFormat ChineseLanguage titles "标题") domainEnglishFormat.kif 58216-58216
(termFormat ChineseTraditionalLanguage titles "標題") domainEnglishFormat.kif 58215-58215
(termFormat EnglishLanguage titles "titles") domainEnglishFormat.kif 58214-58214

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


(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (titles ?STRING ?CBP-TYPE))		 Media.kif 3095-3097


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