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
managedBy
Sigma KEE - managedBy
managedBy
appearance as argument number 1
(
documentation
managedBy
EnglishLanguage
"(
managedBy
?OBJ ?AGENT) means that the
agent
Managing
Object
?OBJ is ?AGENT. ?AGENT does not necessarily own ?OBJ.")
Hotel.kif 639-641
(
domain
managedBy
1
Physical
)
Hotel.kif 645-645
Le nombre 1 argument de
managedBy
est une
instance
de
physique
(
domain
managedBy
2
AutonomousAgent
)
Hotel.kif 646-646
Le nombre 2 argument de
managedBy
est une
instance
de
AutonomousAgent
(
instance
managedBy
BinaryPredicate
)
Hotel.kif 637-637
managedBy
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
format
ChineseLanguage
managedBy
"%1 是由 %2 managed ")
domainEnglishFormat.kif 3810-3810
(
format
ChineseTraditionalLanguage
managedBy
"%1 是由 %2 managed ")
domainEnglishFormat.kif 3809-3809
(
format
EnglishLanguage
managedBy
"%1 is managed by %2")
domainEnglishFormat.kif 3808-3808
(
termFormat
EnglishLanguage
managedBy
"managed by")
Hotel.kif 643-643
antecedent
(=>
(
managedBy
?OBJ ?AGENT)
(
exists
(?AGENT2 ?MAN)
(
and
(
possesses
?AGENT2 ?OBJ)
(
instance
?MAN
Managing
)
(
patient
?MAN ?OBJ)
(
agent
?MAN ?AGENT))))
Hotel.kif 648-655
managedBy
objet
and
AutonomousAgent
AutonomousAgent
2
processus
AutonomousAgent
2
poss
�de
objet
processus
est une
instance
de
diriger
objet
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
consequent
(=>
(
brandIcon
?BRAND ?ICON)
(
exists
(?AGENT)
(
and
(
managedBy
?BRAND ?AGENT)
(
managedBy
?ICON ?AGENT)
(
represents
?ICON ?BRAND))))
Hotel.kif 1319-1325
brandIcon
Brand
and
icone
AutonomousAgent
managedBy
Brand
and
AutonomousAgent
managedBy
icone
and
AutonomousAgent
icone
d
�finie
Brand
(=>
(
contestOrganizer
?CONTEST ?A)
(
managedBy
?CONTEST ?A))
Music.kif 1066-1068
contestOrganizer
affrontement
and
agent cognitif
managedBy
affrontement
and
agent cognitif
appearance as argument number 0
(
managedBy
IBookstore
AppleComputerCorporation
)
ComputingBrands.kif 3307-3307
managedBy
IBookstore
and
AppleComputerCorporation
(
managedBy
ICloud
AppleComputerCorporation
)
ComputingBrands.kif 3359-3359
managedBy
ICloud
and
AppleComputerCorporation
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