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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - referenceTitle
referenceTitle

appearance as argument number 1
-------------------------


(documentation referenceTitle EnglishLanguage "(referenceTitle ?STRING ?WORKTYPE ?LANGUAGE) means that in the Language ?LANGUAGE, ?STRING is the detailed reference version of the title of instances of ContentBearingPhysical ?WORKTYPE, as specified in the ReferenceDescriptiveMetadataSet.") Media.kif 3143-3147
(domain referenceTitle 1 SymbolicString) Media.kif 3140-3140 The number 1 argument of referenceTitle is an instance of symbolic string
(domain referenceTitle 3 Language) Media.kif 3142-3142 The number 3 argument of referenceTitle is an instance of language
(domainSubclass referenceTitle 2 ContentBearingPhysical) Media.kif 3141-3141 The number 2 argument of referenceTitle is a subclass of content bearing physical
(instance referenceTitle TernaryPredicate) Media.kif 3139-3139 referenceTitle is an instance of ternary predicate
(subrelation referenceTitle titleInLanguage) Media.kif 3148-3148 referenceTitle is a subrelation of titleInLanguage

appearance as argument number 2
-------------------------


(format ChineseLanguage referenceTitle "%1 是 %2 的 reference title 在 %3 ") domainEnglishFormat.kif 4367-4367
(format ChineseTraditionalLanguage referenceTitle "%1 是 %2 的 reference title 在 %3 ") domainEnglishFormat.kif 4366-4366
(format EnglishLanguage referenceTitle "%1 is the reference title of %2 in %3") domainEnglishFormat.kif 4365-4365


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