Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
names
Sigma KEE - names
names
appearance as argument number 1
(
documentation
names
ChineseLanguage
"(
names
?STRING ?ENTITY) 的意思是 物体 ?ENTITY 的 名字是
SymbolicString
?STRING。注:
names
和
represents
是
refers
的两个直接的
subrelation
。 引用光是一个标签,而没有含义内容的东西时,用谓词
names
,有内容的东西时用谓词
represents
。 ")
chinese_format.kif 2158-2161
(
documentation
names
EnglishLanguage
"(
names
?STRING ?ENTITY) means that the thing ?ENTITY has the
SymbolicString
?STRING as its name. Note that
names
and
represents
are the two immediate
subrelation
s of
refers
. The predicate
names
is used when the referring item is merely a tag without connotative content, while the predicate
represents
is used for referring items that have such content.")
Merge.kif 4346-4350
(
domain
names
1
SymbolicString
)
Merge.kif 4344-4344
(
instance
names
BinaryPredicate
)
Merge.kif 4343-4343
(
subrelation
names
refers
)
Merge.kif 4342-4342
appearance as argument number 2
(
format
ChineseLanguage
names
"%2 的名 %n 是 %1")
chinese_format.kif 309-309
(
format
EnglishLanguage
names
"%2 %n{doesn't have} %p{has} name %1")
english_format.kif 314-314
(
subrelation
agentName
names
)
Media.kif 3412-3412
(
subrelation
alias
names
)
Mid-level-ontology.kif 22661-22661
(
subrelation
conventionalLongName
names
)
Mid-level-ontology.kif 26611-26611
(
subrelation
conventionalShortName
names
)
Mid-level-ontology.kif 26622-26622
(
subrelation
familyName
names
)
Mid-level-ontology.kif 14193-14193
(
subrelation
filename
names
)
QoSontology.kif 2210-2210
(
subrelation
formerName
names
)
Mid-level-ontology.kif 14186-14186
(
subrelation
fullName
names
)
Media.kif 3278-3278
(
subrelation
givenName
names
)
Mid-level-ontology.kif 14210-14210
(
subrelation
localLongName
names
)
Mid-level-ontology.kif 14225-14225
(
subrelation
localShortName
names
)
Mid-level-ontology.kif 14230-14230
(
subrelation
middleName
names
)
Mid-level-ontology.kif 14206-14206
(
subrelation
nameIndexOrder
names
)
Media.kif 3325-3325
(
subrelation
password
names
)
QoSontology.kif 2100-2100
(
subrelation
titles
names
)
Mid-level-ontology.kif 14173-14173
(
subrelation
uniqueIdentifier
names
)
Merge.kif 4352-4352
(
subrelation
userName
names
)
QoSontology.kif 2063-2063
(
termFormat
ChineseLanguage
names
"名")
domainEnglishFormat.kif 39654-39654
(
termFormat
ChineseLanguage
names
"命名")
chinese_format.kif 310-310
(
termFormat
ChineseTraditionalLanguage
names
"名")
domainEnglishFormat.kif 39653-39653
(
termFormat
EnglishLanguage
names
"names")
domainEnglishFormat.kif 39652-39652
antecedent
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
nameBeforeKeyName
?STRING ?KEY ?NAMESTRING)
(
not
(
equal
?STRING ?KEY)))
(
not
(
nameIndexOrder
?NAMESTRING ?OBJ)))
Media.kif 3394-3399
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
or
(
nameAfterKeyName
?STRING ?KEY ?NAMESTRING)
(
equal
?STRING ?KEY)))
(
nameIndexOrder
?NAMESTRING ?OBJ))
Media.kif 3362-3368
(=>
(
and
(
names
?NAMESTRING ?THING)
(
keyName
?FIRST ?NAMESTRING)
(
stringConcatenation
?FIRST ?REST ?NAMESTRING))
(
nameIndexOrder
?NAMESTRING ?THING))
Media.kif 3327-3332
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Agent
))
(
agentName
?STRING ?OBJ))
Media.kif 3417-3421
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Human
))
(
humanName
?STRING ?OBJ))
Media.kif 3434-3438
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Organization
))
(
organizationName
?STRING ?OBJ))
Media.kif 3468-3472
consequent
(=>
(
and
(
instance
?PROCESS
Naming
)
(
patient
?PROCESS ?THING)
(
destination
?PROCESS ?NAME))
(
holdsDuring
(
FutureFn
(
WhenFn
?PROCESS))
(
names
?NAME ?THING)))
Merge.kif 13017-13022
(=>
(
and
(
unitNumber
?UNITSTR ?PLACE)
(
floorCode
?FLRCODE ?PLACE))
(
exists
(?UNIT ?FLOOR)
(
and
(
instance
?FLOOR
BuildingLevel
)
(
instance
?UNIT
Room
)
(
located
?UNIT ?FLOOR)
(
part
?FLOOR ?PLACE)
(
names
?UNITSTR ?UNIT)
(
names
?FLRCODE ?FLOOR))))
Mid-level-ontology.kif 24006-24017
(=>
(
and
(
unitNumber
?UNITSTR ?PLACE)
(
not
(
exists
(?FLR)
(
floorCode
?FLR ?PLACE))))
(
exists
(?UNIT)
(
and
(
instance
?UNIT
Room
)
(
names
?UNITSTR ?UNIT)
(
located
?UNIT ?PLACE))))
Mid-level-ontology.kif 24019-24029
(=>
(
canonicalPlaceName
?PLACE ?LANG ?STR)
(
names
?STR ?PLACE))
Mid-level-ontology.kif 23959-23961
(=>
(
termFormat
?TERM ?LANGUAGE ?STRING)
(
names
?STRING ?TERM))
Media.kif 31-33
statement
(
holdsDuring
(
FutureFn
?T)
(
and
(
names
"Republic of Serbia"
Serbia
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2497-2500
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2524-2527
appearance as argument number 0
(
names
"Adana"
AdanaTurkey
)
CountriesAndRegions.kif 2495-2495
(
names
"Addis Ababa"
AddisAbabaEthiopia
)
CountriesAndRegions.kif 2497-2497
(
names
"Aden"
AdenYemen
)
CountriesAndRegions.kif 2499-2499
(
names
"Adora"
AdoraWestBank
)
CountriesAndRegions.kif 2501-2501
(
names
"Advanced Developing Country"
AdvancedDevelopingCountry
)
Economy.kif 352-352
(
names
"Afghanistan"
Afghanistan
)
CountriesAndRegions.kif 4160-4160
(
names
"Africa"
Africa
)
Geography.kif 3444-3444
(
names
"Afula"
AfulaIsrael
)
CountriesAndRegions.kif 2503-2503
(
names
"Agri"
AgriTurkey
)
CountriesAndRegions.kif 2505-2505
(
names
"Ain Defla"
AinDeflaAlgeria
)
CountriesAndRegions.kif 2507-2507
(
names
"Ain el Hajar"
AinElHajarAlgeria
)
CountriesAndRegions.kif 2509-2509
(
names
"Ajaccio"
AjaccioFrance
)
CountriesAndRegions.kif 2511-2511
(
names
"Al-Balamand "
AlBalamandLebanon
)
CountriesAndRegions.kif 2513-2513
(
names
"Albania"
Albania
)
CountriesAndRegions.kif 4064-4064
(
names
"Alei Sinai"
AleiSinaiGazaStrip
)
CountriesAndRegions.kif 2515-2515
(
names
"Alei Zahav"
AleiZahavWestBank
)
CountriesAndRegions.kif 2517-2517
(
names
"Aley"
AleyLebanon
)
CountriesAndRegions.kif 2519-2519
(
names
"Algeria"
Algeria
)
CountriesAndRegions.kif 3946-3946
(
names
"Algiers"
AlgiersAlgeria
)
CountriesAndRegions.kif 2521-2521
(
names
"Alkhan-Yurt"
AlkhanYurtRussia
)
CountriesAndRegions.kif 2523-2523
(
names
"Alon Moreh"
AlonMorehWestBank
)
CountriesAndRegions.kif 2525-2525
(
names
"Ambon"
AmbonIndonesia
)
CountriesAndRegions.kif 2527-2527
(
names
"American Samoa"
AmericanSamoa
)
CountriesAndRegions.kif 4194-4194
(
names
"Amman"
AmmanJordan
)
CountriesAndRegions.kif 2529-2529
(
names
"An Nuwaydirat"
AnNuwaydiratBahrain
)
CountriesAndRegions.kif 2531-2531
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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