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 14709-14714
(domain titles 1 SymbolicString) Mid-level-ontology.kif 14707-14707
(domainSubclass titles 2 ContentBearingPhysical) Mid-level-ontology.kif 14708-14708
(instance titles BinaryPredicate) Mid-level-ontology.kif 14706-14706
(subrelation titles names) Mid-level-ontology.kif 14705-14705

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 58214-58214
(termFormat ChineseTraditionalLanguage titles "標題") domainEnglishFormat.kif 58213-58213
(termFormat EnglishLanguage titles "titles") domainEnglishFormat.kif 58212-58212

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


(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (titles ?STRING ?CBP-TYPE))
Media.kif 3113-3115


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