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
Die Zahl 1 Argument von
managedBy
ist ein
fall
von
Physical
%n{nicht}
(
domain
managedBy
2
AutonomousAgent
)
Hotel.kif 646-646
Die Zahl 2 Argument von
managedBy
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
managedBy
BinaryPredicate
)
Hotel.kif 637-637
managedBy
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
managedBy
Object
and
AutonomousAgent
,
dann es gibt
** AutonomousAgent
2 und
Process
um
** AutonomousAgent
2 besitzt
** Object
%n{nicht} und
** Process
ist ein
fall
von
Managing
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht}
consequent
(=>
(
brandIcon
?BRAND ?ICON)
(
exists
(?AGENT)
(
and
(
managedBy
?BRAND ?AGENT)
(
managedBy
?ICON ?AGENT)
(
represents
?ICON ?BRAND))))
Hotel.kif 1319-1325
Wenn
brandIcon
Brand
and
Icon
,
dann es gibt
AutonomousAgent
um
managedBy
** Brand
and
** AutonomousAgent
und
managedBy
** Icon
and
** AutonomousAgent
und
** Icon
drueckt
** Brand
aus
(=>
(
contestOrganizer
?CONTEST ?A)
(
managedBy
?CONTEST ?A))
Music.kif 1066-1068
Wenn
contestOrganizer
Contest
and
CognitiveAgent
,
dann
managedBy
** Contest
and
** CognitiveAgent
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