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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 12453-12458
(domain titles 1 SymbolicString) Mid-level-ontology.kif 12451-12451 The number 1 argument of titles is an instance of symbolic string
(domainSubclass titles 2 ContentBearingPhysical) Mid-level-ontology.kif 12452-12452 The number 2 argument of titles is a subclass of content bearing physical
(instance titles BinaryPredicate) Mid-level-ontology.kif 12450-12450 titles is an instance of binary predicate
(subrelation titles names) Mid-level-ontology.kif 12449-12449 titles is a subrelation of names

appearance as argument number 2

(format ChineseLanguage titles "%2 的 title 是 %1 ") domainEnglishFormat.kif 4791-4791
(format ChineseTraditionalLanguage titles "%2 的 title 是 %1 ") domainEnglishFormat.kif 4790-4790
(format EnglishLanguage titles "the title of %2 is %1") domainEnglishFormat.kif 4789-4789
(termFormat ChineseLanguage titles "标题") domainEnglishFormat.kif 58095-58095
(termFormat ChineseTraditionalLanguage titles "標題") domainEnglishFormat.kif 58094-58094
(termFormat EnglishLanguage titles "titles") domainEnglishFormat.kif 58093-58093


    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (titles ?STRING ?CBP-TYPE))
Media.kif 3081-3083

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners