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 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 EnglishLanguage titles "the title of %2 is %1") domainEnglishFormat.kif 1207-1207
(termFormat EnglishLanguage titles "titles") domainEnglishFormat.kif 10126-10126 "titles" is the printable form of titles in english language

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


(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (titles ?STRING ?CBP-TYPE))
Media.kif 3049-3051


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