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
associateWithStatus
Sigma KEE - associateWithStatus
associateWithStatus
appearance as argument number 1
(
documentation
associateWithStatus
EnglishLanguage
"(
associateWithStatus
?AGT ?STATUS ?GROUP) means that the
AutonomousAgent
?AGT has the
RelationalAttribute
?STATUS in the
Group
?GROUP. For example, (
associateWithStatus
UnitedStates
PermanentMember
UnitedNationsSecurityCouncil
) means that the &UnitedStates has the status of a permanent member in the U.N. Security Council.")
Government.kif 2439-2444
(
domain
associateWithStatus
1
AutonomousAgent
)
Government.kif 2435-2435
Die Zahl 1 Argument von
associateWithStatus
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
associateWithStatus
2
RelationalAttribute
)
Government.kif 2436-2436
Die Zahl 2 Argument von
associateWithStatus
ist ein
fall
von
RelationalAttribute
%n{nicht}
(
domain
associateWithStatus
3
Group
)
Government.kif 2437-2437
Die Zahl 3 Argument von
associateWithStatus
ist ein
fall
von
Group
%n{nicht}
(
instance
associateWithStatus
TernaryPredicate
)
Government.kif 2434-2434
associateWithStatus
ist ein
fall
von
TernaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
associateWithStatus
"%1 %n{不是} 对于 %3 associate 和状态 %2")
domainEnglishFormat.kif 204-204
(
format
ChineseTraditionalLanguage
associateWithStatus
"%1 %n{不是} 對於 %3 associate 和狀態 %2 ")
domainEnglishFormat.kif 203-203
(
format
EnglishLanguage
associateWithStatus
"%1 %n{doesn't} associate with status %2 for %3")
domainEnglishFormat.kif 202-202
(
termFormat
ChineseLanguage
associateWithStatus
"与地位相关联")
domainEnglishFormat.kif 8796-8796
(
termFormat
ChineseTraditionalLanguage
associateWithStatus
"與地位相關聯")
domainEnglishFormat.kif 8795-8795
(
termFormat
EnglishLanguage
associateWithStatus
"associate with status")
domainEnglishFormat.kif 8794-8794
antecedent
(=>
(
associateWithStatus
?AGENT ?STATUS ?GROUP)
(
associateInOrganization
?AGENT ?GROUP))
Government.kif 2446-2448
Wenn
associateWithStatus
AutonomousAgent
,
RelationalAttribute
and
Group
,
dann
associateInOrganization
** AutonomousAgent
and
** Group
(=>
(
associateWithStatus
?AGENT
FullMember
?GROUP)
(
member
?AGENT ?GROUP))
Government.kif 2450-2452
Wenn
associateWithStatus
AutonomousAgent
,
FullMember
and
Group
,
dann
** AutonomousAgent
ist ein
Mitglied
von
** Group
%n{nicht}
(=>
(
associateWithStatus
?AGENT
SuspendedMember
?GROUP)
(
not
(
member
?AGENT ?GROUP)))
Government.kif 2454-2456
Wenn
associateWithStatus
AutonomousAgent
,
SuspendedMember
and
Group
,
dann
** AutonomousAgent
ist ein
Mitglied
von
** Group
nicht
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