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 12480-12485
(domain titles 1 SymbolicString) Mid-level-ontology.kif 12478-12478
(domainSubclass titles 2 ContentBearingPhysical) Mid-level-ontology.kif 12479-12479
(instance titles BinaryPredicate) Mid-level-ontology.kif 12477-12477
(subrelation titles names) Mid-level-ontology.kif 12476-12476

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 58192-58192
(termFormat ChineseTraditionalLanguage titles "標題") domainEnglishFormat.kif 58191-58191
(termFormat EnglishLanguage titles "titles") domainEnglishFormat.kif 58190-58190

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


(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (titles ?STRING ?CBP-TYPE))
Media.kif 3083-3085


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