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


KB Term:  Term intersection
English Word: 

  titles

 Sigma KEE - titles
titles

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


(subrelation titles names) Mid-level-ontology.kif 16310-16310 titles is a subrelation of names
(instance titles BinaryPredicate) Mid-level-ontology.kif 16311-16311 titles is an instance of binary predicate
(domain titles 1 SymbolicString) Mid-level-ontology.kif 16312-16312 The number 1 argument of titles is an instance of symbolic string
(domainSubclass titles 2 ContentBearingPhysical) Mid-level-ontology.kif 16313-16313 The number 2 argument of titles is a subclass of content bearing physical
(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 16314-16319 The number 2 argument of titles is a subclass of content bearing physical

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


(format EnglishLanguage titles "the title of %2 is %1") domainEnglishFormat.kif 4788-4788
(format ChineseTraditionalLanguage titles "%2 的 title 是 %1 ") domainEnglishFormat.kif 4789-4789
(format ChineseLanguage titles "%2 的 title 是 %1 ") domainEnglishFormat.kif 4790-4790
(termFormat EnglishLanguage titles "titles") domainEnglishFormat.kif 58213-58213
(termFormat ChineseTraditionalLanguage titles "標題") domainEnglishFormat.kif 58214-58214
(termFormat ChineseLanguage titles "标题") domainEnglishFormat.kif 58215-58215

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


(=>
    (titleInLanguage ?STRING ?CBP_TYPE ?LANGUAGE)
    (titles ?STRING ?CBP_TYPE))		 Media.kif 3042-3044 If the title of ?CBP_TYPE in Y is Z, then the title of ?CBP_TYPE is Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners