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 domain titles, 1 and SymbolicString
(domainSubclass titles 2 ContentBearingPhysical) Mid-level-ontology.kif 14172-14172 domainSubclass titles, 2 and ContentBearingPhysical
(instance titles BinaryPredicate) Mid-level-ontology.kif 14170-14170 instance titles and BinaryPredicate
(subrelation titles names) Mid-level-ontology.kif 14169-14169 subrelation titles and 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