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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 16080-16085
(domain titles 1 SymbolicString) Mid-level-ontology.kif 16078-16078 The number 1 argument of titles is an instance of symbolic string
(domainSubclass titles 2 ContentBearingPhysical) Mid-level-ontology.kif 16079-16079 The number 2 argument of titles is a subclass of content bearing physical
(instance titles BinaryPredicate) Mid-level-ontology.kif 16077-16077 titles is an instance of binary predicate
(subrelation titles names) Mid-level-ontology.kif 16076-16076 titles is a subrelation of names

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


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

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


(=>
    (titleInLanguage ?STRING ?CBP_TYPE ?LANGUAGE)
    (titles ?STRING ?CBP_TYPE))
Media.kif 3097-3099


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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