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 4407-4411
(
domain
names
1
SymbolicString
)
Merge.kif 4405-4405
domain
names
, 1 and
SymbolicString
(
instance
names
BinaryPredicate
)
Merge.kif 4404-4404
instance
names
and
BinaryPredicate
(
subrelation
names
refers
)
Merge.kif 4403-4403
subrelation
names
and
refers
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 3424-3424
subrelation
agentName
and
names
(
subrelation
alias
names
)
Mid-level-ontology.kif 23164-23164
subrelation
alias
and
names
(
subrelation
conventionalLongName
names
)
Mid-level-ontology.kif 27133-27133
subrelation
conventionalLongName
and
names
(
subrelation
conventionalShortName
names
)
Mid-level-ontology.kif 27144-27144
subrelation
conventionalShortName
and
names
(
subrelation
familyName
names
)
Mid-level-ontology.kif 14572-14572
subrelation
familyName
and
names
(
subrelation
filename
names
)
QoSontology.kif 2205-2205
subrelation
filename
and
names
(
subrelation
formerName
names
)
Mid-level-ontology.kif 14565-14565
subrelation
formerName
and
names
(
subrelation
fullName
names
)
Media.kif 3290-3290
subrelation
fullName
and
names
(
subrelation
givenName
names
)
Mid-level-ontology.kif 14589-14589
subrelation
givenName
and
names
(
subrelation
localLongName
names
)
Mid-level-ontology.kif 14604-14604
subrelation
localLongName
and
names
(
subrelation
localShortName
names
)
Mid-level-ontology.kif 14609-14609
subrelation
localShortName
and
names
(
subrelation
middleName
names
)
Mid-level-ontology.kif 14585-14585
subrelation
middleName
and
names
(
subrelation
nameIndexOrder
names
)
Media.kif 3337-3337
subrelation
nameIndexOrder
and
names
(
subrelation
password
names
)
QoSontology.kif 2095-2095
subrelation
password
and
names
(
subrelation
titles
names
)
Mid-level-ontology.kif 14552-14552
subrelation
titles
and
names
(
subrelation
uniqueIdentifier
names
)
Merge.kif 4413-4413
subrelation
uniqueIdentifier
and
names
(
subrelation
userName
names
)
QoSontology.kif 2058-2058
subrelation
userName
and
names
(
termFormat
ChineseLanguage
names
"名")
domainEnglishFormat.kif 39649-39649
(
termFormat
ChineseLanguage
names
"命名")
chinese_format.kif 310-310
(
termFormat
ChineseTraditionalLanguage
names
"名")
domainEnglishFormat.kif 39648-39648
(
termFormat
EnglishLanguage
names
"names")
domainEnglishFormat.kif 39647-39647
antecedent
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
nameBeforeKeyName
?STRING ?KEY ?NAMESTRING)
(
not
(
equal
?STRING ?KEY)))
(
not
(
nameIndexOrder
?NAMESTRING ?OBJ)))
Media.kif 3406-3411
names
SymbolicString
and
Entity
nameBeforeKeyName
SymbolicString
,
SymbolicString
and
SymbolicString
equal
SymbolicString
and
SymbolicString
nameIndexOrder
SymbolicString
and
Entity
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
or
(
nameAfterKeyName
?STRING ?KEY ?NAMESTRING)
(
equal
?STRING ?KEY)))
(
nameIndexOrder
?NAMESTRING ?OBJ))
Media.kif 3374-3380
names
SymbolicString
and
Entity
nameAfterKeyName
SymbolicString
,
SymbolicString
and
SymbolicString
equal
SymbolicString
and
SymbolicString
nameIndexOrder
SymbolicString
and
Entity
(=>
(
and
(
names
?NAMESTRING ?THING)
(
keyName
?FIRST ?NAMESTRING)
(
stringConcatenation
?FIRST ?REST ?NAMESTRING))
(
nameIndexOrder
?NAMESTRING ?THING))
Media.kif 3339-3344
names
SymbolicString
and
Entity
keyName
SymbolicString
and
SymbolicString
stringConcatenation
SymbolicString
,
SymbolicString
and
SymbolicString
nameIndexOrder
SymbolicString
and
Entity
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
AutonomousAgent
))
(
agentName
?STRING ?OBJ))
Media.kif 3429-3433
names
SymbolicString
and
AutonomousAgent
instance
AutonomousAgent
and
AutonomousAgent
agentName
SymbolicString
and
AutonomousAgent
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Human
))
(
humanName
?STRING ?OBJ))
Media.kif 3446-3450
names
SymbolicString
and
Human
instance
Human
and
Human
humanName
SymbolicString
and
Human
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Organization
))
(
organizationName
?STRING ?OBJ))
Media.kif 3480-3484
names
SymbolicString
and
Organization
instance
Organization
and
Organization
organizationName
SymbolicString
and
Organization
consequent
(=>
(
and
(
instance
?PROCESS
Naming
)
(
patient
?PROCESS ?THING)
(
destination
?PROCESS ?NAME))
(
holdsDuring
(
FutureFn
(
WhenFn
?PROCESS))
(
names
?NAME ?THING)))
Merge.kif 13116-13121
instance
Process
and
Naming
patient
Process
and
Entity
destination
Process
and
Entity
holdsDuring
FutureFn
WhenFn
Process
and
names
Entity
and
Entity
(=>
(
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 24523-24534
unitNumber
SymbolicString
and
PostalPlace
floorCode
SymbolicString
and
PostalPlace
Physical
Object
instance
Object
and
BuildingLevel
instance
Physical
and
Room
located
Physical
and
Object
part
Object
and
PostalPlace
names
SymbolicString
and
Physical
names
SymbolicString
and
Object
(=>
(
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 24536-24546
unitNumber
SymbolicString
and
PostalPlace
SymbolicString
floorCode
SymbolicString
and
PostalPlace
Physical
instance
Physical
and
Room
names
SymbolicString
and
Physical
located
Physical
and
PostalPlace
(=>
(
canonicalPlaceName
?PLACE ?LANG ?STR)
(
names
?STR ?PLACE))
Mid-level-ontology.kif 24475-24477
canonicalPlaceName
Region
,
Language
and
SymbolicString
names
SymbolicString
and
Region
(=>
(
termFormat
?TERM ?LANGUAGE ?STRING)
(
names
?STRING ?TERM))
Media.kif 31-33
termFormat
Language
,
Entity
and
SymbolicString
names
SymbolicString
and
Language
statement
(
holdsDuring
(
FutureFn
?T)
(
and
(
names
"Republic of Serbia"
Serbia
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2506-2509
holdsDuring
FutureFn
TimePosition
and
names
"Republic of Serbia" and
Serbia
instance
TimePosition
and
DayFn
5 and
MonthFn
June
and
YearFn
2006
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2533-2536
holdsDuring
FutureFn
TimePosition
and
instance
TimePosition
and
DayFn
3 and
MonthFn
June
and
YearFn
2006
names
"Montenegro" and
Montenegro
appearance as argument number 0
(
names
"Adana"
AdanaTurkey
)
CountriesAndRegions.kif 2495-2495
names
"Adana" and
AdanaTurkey
(
names
"Addis Ababa"
AddisAbabaEthiopia
)
CountriesAndRegions.kif 2497-2497
names
"Addis Ababa" and
AddisAbabaEthiopia
(
names
"Aden"
AdenYemen
)
CountriesAndRegions.kif 2499-2499
names
"Aden" and
AdenYemen
(
names
"Adora"
AdoraWestBank
)
CountriesAndRegions.kif 2501-2501
names
"Adora" and
AdoraWestBank
(
names
"Advanced Developing Country"
AdvancedDevelopingCountry
)
Economy.kif 352-352
names
"Advanced Developing Country" and
AdvancedDevelopingCountry
(
names
"Afghanistan"
Afghanistan
)
CountriesAndRegions.kif 4160-4160
names
"Afghanistan" and
Afghanistan
(
names
"Africa"
Africa
)
Geography.kif 3455-3455
names
"Africa" and
Africa
(
names
"Afula"
AfulaIsrael
)
CountriesAndRegions.kif 2503-2503
names
"Afula" and
AfulaIsrael
(
names
"Agri"
AgriTurkey
)
CountriesAndRegions.kif 2505-2505
names
"Agri" and
AgriTurkey
(
names
"Ain Defla"
AinDeflaAlgeria
)
CountriesAndRegions.kif 2507-2507
names
"Ain Defla" and
AinDeflaAlgeria
(
names
"Ain el Hajar"
AinElHajarAlgeria
)
CountriesAndRegions.kif 2509-2509
names
"Ain el Hajar" and
AinElHajarAlgeria
(
names
"Ajaccio"
AjaccioFrance
)
CountriesAndRegions.kif 2511-2511
names
"Ajaccio" and
AjaccioFrance
(
names
"Al-Balamand "
AlBalamandLebanon
)
CountriesAndRegions.kif 2513-2513
names
"Al-Balamand " and
AlBalamandLebanon
(
names
"Albania"
Albania
)
CountriesAndRegions.kif 4064-4064
names
"Albania" and
Albania
(
names
"Alei Sinai"
AleiSinaiGazaStrip
)
CountriesAndRegions.kif 2515-2515
names
"Alei Sinai" and
AleiSinaiGazaStrip
(
names
"Alei Zahav"
AleiZahavWestBank
)
CountriesAndRegions.kif 2517-2517
names
"Alei Zahav" and
AleiZahavWestBank
(
names
"Aley"
AleyLebanon
)
CountriesAndRegions.kif 2519-2519
names
"Aley" and
AleyLebanon
(
names
"Algeria"
Algeria
)
CountriesAndRegions.kif 3946-3946
names
"Algeria" and
Algeria
(
names
"Algiers"
AlgiersAlgeria
)
CountriesAndRegions.kif 2521-2521
names
"Algiers" and
AlgiersAlgeria
(
names
"Alkhan-Yurt"
AlkhanYurtRussia
)
CountriesAndRegions.kif 2523-2523
names
"Alkhan-Yurt" and
AlkhanYurtRussia
(
names
"Alon Moreh"
AlonMorehWestBank
)
CountriesAndRegions.kif 2525-2525
names
"Alon Moreh" and
AlonMorehWestBank
(
names
"Ambon"
AmbonIndonesia
)
CountriesAndRegions.kif 2527-2527
names
"Ambon" and
AmbonIndonesia
(
names
"American Football"
FootballUS
)
Sports.kif 812-812
names
"American Football" and
FootballUS
(
names
"American Samoa"
AmericanSamoa
)
CountriesAndRegions.kif 4194-4194
names
"American Samoa" and
AmericanSamoa
(
names
"Amman"
AmmanJordan
)
CountriesAndRegions.kif 2529-2529
names
"Amman" and
AmmanJordan
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