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 14173-14178
(domain titles 1 SymbolicString) Mid-level-ontology.kif 14171-14171 The number 1 argument of titles is an instance of symbolic string
(domainSubclass titles 2 ContentBearingPhysical) Mid-level-ontology.kif 14172-14172 The number 2 argument of titles is a subclass of content bearing physical
(instance titles BinaryPredicate) Mid-level-ontology.kif 14170-14170 titles is an instance of binary predicate
(subrelation titles names) Mid-level-ontology.kif 14169-14169 titles is a subrelation of names

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


(format ChineseLanguage titles "%2 的 title 是 %1 ") domainEnglishFormat.kif 4795-4795
(format ChineseTraditionalLanguage titles "%2 的 title 是 %1 ") domainEnglishFormat.kif 4794-4794
(format EnglishLanguage titles "the title of %2 is %1") domainEnglishFormat.kif 4793-4793
(termFormat ChineseLanguage titles "标题") domainEnglishFormat.kif 58181-58181
(termFormat ChineseTraditionalLanguage titles "標題") domainEnglishFormat.kif 58180-58180
(termFormat EnglishLanguage titles "titles") domainEnglishFormat.kif 58179-58179

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


(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (titles ?STRING ?CBP-TYPE))		 Media.kif 3101-3103


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