Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
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 4457-4461
(
documentation
names
JapaneseLanguage
"(
names
?STRING ?ENTITY) とは、?ENTITY が
SymbolicString
?STRING をその名前として持っていることを意味する。 注:
name
と
represents
は 2つの即時の
refers
の
subrelation
である。 述語
name
は、参照項目が単に内容を含まない タグである場合に使用され、述語
represents
はそのようなコンテンツを持つ項目を参照するために使用 される。")
japanese_format.kif 815-819
(
domain
names
1
SymbolicString
)
Merge.kif 4454-4454
(
domain
names
2
Entity
)
Merge.kif 4455-4455
(
instance
names
BinaryPredicate
)
Merge.kif 4453-4453
(
subrelation
names
refers
)
Merge.kif 4452-4452
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
(
format
FrenchLanguage
names
"%2 %n{ne} s'appele %n{pas} nom %1")
french_format.kif 177-177
(
format
JapaneseLanguage
names
"%2 は %1 の
name
を %p{持って} %n{ない}")
japanese_format.kif 1997-1997
(
format
PortugueseLanguage
names
"%2 %n{nao} se chama %n nome %1")
portuguese_format.kif 129-129
(
format
ro
names
"%2 %n{nu} are
name
%t{numele} %1")
relations-ro.kif 197-197
(
subrelation
agentName
names
)
Media.kif 3408-3408
(
subrelation
alias
names
)
Mid-level-ontology.kif 24855-24855
(
subrelation
conventionalLongName
names
)
Mid-level-ontology.kif 29118-29118
(
subrelation
conventionalShortName
names
)
Mid-level-ontology.kif 29129-29129
(
subrelation
familyName
names
)
Mid-level-ontology.kif 16098-16098
(
subrelation
filename
names
)
QoSontology.kif 2337-2337
(
subrelation
formerName
names
)
Mid-level-ontology.kif 16089-16089
(
subrelation
fullName
names
)
Media.kif 3274-3274
(
subrelation
givenName
names
)
Mid-level-ontology.kif 16115-16115
(
subrelation
localLongName
names
)
Mid-level-ontology.kif 16130-16130
(
subrelation
localShortName
names
)
Mid-level-ontology.kif 16135-16135
(
subrelation
middleName
names
)
Mid-level-ontology.kif 16111-16111
(
subrelation
nameIndexOrder
names
)
Media.kif 3321-3321
(
subrelation
password
names
)
QoSontology.kif 2227-2227
(
subrelation
titles
names
)
Mid-level-ontology.kif 16076-16076
(
subrelation
uniqueIdentifier
names
)
Merge.kif 4463-4463
(
subrelation
userName
names
)
QoSontology.kif 2189-2189
(
termFormat
ChineseLanguage
names
"名")
domainEnglishFormat.kif 39682-39682
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
nameBeforeKeyName
?STRING ?KEY ?NAMESTRING)
(
not
(
equal
?STRING ?KEY)))
(
not
(
nameIndexOrder
?NAMESTRING ?OBJ)))
Media.kif 3390-3395
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
or
(
nameAfterKeyName
?STRING ?KEY ?NAMESTRING)
(
equal
?STRING ?KEY)))
(
nameIndexOrder
?NAMESTRING ?OBJ))
Media.kif 3358-3364
(=>
(
and
(
names
?NAMESTRING ?THING)
(
keyName
?FIRST ?NAMESTRING)
(
stringConcatenation
?FIRST ?REST ?NAMESTRING))
(
nameIndexOrder
?NAMESTRING ?THING))
Media.kif 3323-3328
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
AutonomousAgent
))
(
agentName
?STRING ?OBJ))
Media.kif 3413-3417
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Human
))
(
humanName
?STRING ?OBJ))
Media.kif 3430-3434
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Organization
))
(
organizationName
?STRING ?OBJ))
Media.kif 3464-3468
consequent
(=>
(
and
(
instance
?PROCESS
Naming
)
(
patient
?PROCESS ?THING)
(
destination
?PROCESS ?NAME))
(
holdsDuring
(
FutureFn
(
WhenFn
?PROCESS))
(
names
?NAME ?THING)))
Merge.kif 13411-13416
(=>
(
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 26294-26305
(=>
(
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 26307-26317
(=>
(
canonicalPlaceName
?PLACE ?LANG ?STR)
(
names
?STR ?PLACE))
Mid-level-ontology.kif 26246-26248
(=>
(
instance
?C
CommunitySpread
)
(
not
(
exists
(?H)
(
knows
?H
(
exists
(?N)
(
and
(
origin
?C ?H)
(
names
?N ?H)))))))
Medicine.kif 3219-3227
(=>
(
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 2508-2511
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2535-2538
appearance as argument number 0
(
names
"AMR"
AutonomousMobileRobot
)
engineering.kif 962-962
(
names
"Adana"
AdanaTurkey
)
CountriesAndRegions.kif 2497-2497
(
names
"Addis Ababa"
AddisAbabaEthiopia
)
CountriesAndRegions.kif 2499-2499
(
names
"Aden"
AdenYemen
)
CountriesAndRegions.kif 2501-2501
(
names
"Adora"
AdoraWestBank
)
CountriesAndRegions.kif 2503-2503
(
names
"Advanced Developing Country"
AdvancedDevelopingCountry
)
Economy.kif 352-352
(
names
"Afghanistan"
Afghanistan
)
CountriesAndRegions.kif 4155-4155
(
names
"Africa"
Africa
)
Geography.kif 3647-3647
(
names
"Afula"
AfulaIsrael
)
CountriesAndRegions.kif 2505-2505
(
names
"Agri"
AgriTurkey
)
CountriesAndRegions.kif 2507-2507
(
names
"Ain Defla"
AinDeflaAlgeria
)
CountriesAndRegions.kif 2509-2509
(
names
"Ain el Hajar"
AinElHajarAlgeria
)
CountriesAndRegions.kif 2511-2511
(
names
"Ajaccio"
AjaccioFrance
)
CountriesAndRegions.kif 2513-2513
(
names
"Al_Balamand "
AlBalamandLebanon
)
CountriesAndRegions.kif 2515-2515
(
names
"Albania"
Albania
)
CountriesAndRegions.kif 4059-4059
(
names
"Alei Sinai"
AleiSinaiGazaStrip
)
CountriesAndRegions.kif 2517-2517
(
names
"Alei Zahav"
AleiZahavWestBank
)
CountriesAndRegions.kif 2519-2519
(
names
"Aley"
AleyLebanon
)
CountriesAndRegions.kif 2521-2521
(
names
"Algeria"
Algeria
)
CountriesAndRegions.kif 3941-3941
(
names
"Algiers"
AlgiersAlgeria
)
CountriesAndRegions.kif 2523-2523
(
names
"Alkhan_Yurt"
AlkhanYurtRussia
)
CountriesAndRegions.kif 2525-2525
(
names
"Alon Moreh"
AlonMorehWestBank
)
CountriesAndRegions.kif 2527-2527
(
names
"Ambon"
AmbonIndonesia
)
CountriesAndRegions.kif 2529-2529
(
names
"American Football"
FootballUS
)
Sports.kif 825-825
(
names
"American Samoa"
AmericanSamoa
)
CountriesAndRegions.kif 4189-4189
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