Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
referenceTitle
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
instance
s of
ContentBearingPhysical
?WORKTYPE, as specified in the ReferenceDescriptiveMetadataSet.")
Media.kif 3175-3179
(
domain
referenceTitle
1
SymbolicString
)
Media.kif 3172-3172
The number 1 argument of
reference title
is an
instance
of
symbolic string
(
domain
referenceTitle
3
Language
)
Media.kif 3174-3174
The number 3 argument of
reference title
is an
instance
of
language
(
domainSubclass
referenceTitle
2
ContentBearingPhysical
)
Media.kif 3173-3173
The number 2 argument of
reference title
is a
subclass
of
content bearing physical
(
instance
referenceTitle
TernaryPredicate
)
Media.kif 3171-3171
reference title
is an
instance
of
ternary predicate
(
subrelation
referenceTitle
titleInLanguage
)
Media.kif 3180-3180
reference title
is a
subrelation
of
title in language
appearance as argument number 2
(
format
ChineseLanguage
referenceTitle
"%1 是 %2 的 reference title 在 %3 ")
domainEnglishFormat.kif 4362-4362
(
format
ChineseTraditionalLanguage
referenceTitle
"%1 是 %2 的 reference title 在 %3 ")
domainEnglishFormat.kif 4361-4361
(
format
EnglishLanguage
referenceTitle
"%1 is the reference title of %2 in %3")
domainEnglishFormat.kif 4360-4360
(
termFormat
EnglishLanguage
referenceTitle
"reference title")
domainEnglishFormat.kif 65922-65922
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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