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
域
managedBy
, 1 and
Physical
(
domain
managedBy
2
AutonomousAgent
)
Hotel.kif 646-646
域
managedBy
, 2 and
AutonomousAgent
(
instance
managedBy
BinaryPredicate
)
Hotel.kif 637-637
例
managedBy
and
BinaryPredicate
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
Object
是由
AutonomousAgent
managed
AutonomousAgent
2
Process
擁有
AutonomousAgent
2 and
Object
例
Process
and
Managing
患者
Process
and
Object
agent
Process
and
AutonomousAgent
consequent
(=>
(
brandIcon
?BRAND ?ICON)
(
exists
(?AGENT)
(
and
(
managedBy
?BRAND ?AGENT)
(
managedBy
?ICON ?AGENT)
(
represents
?ICON ?BRAND))))
Hotel.kif 1319-1325
Icon
是
Brand
的
icon
AutonomousAgent
Brand
是由
AutonomousAgent
managed
Icon
是由
AutonomousAgent
managed
代表
Icon
and
Brand
(=>
(
contestOrganizer
?CONTEST ?A)
(
managedBy
?CONTEST ?A))
Music.kif 1066-1068
CognitiveAgent
organizes
Contest
Contest
是由
CognitiveAgent
managed
appearance as argument number 0
(
managedBy
IBookstore
AppleComputerCorporation
)
ComputingBrands.kif 3307-3307
IBookstore
是由
蘋果
managed
(
managedBy
ICloud
AppleComputerCorporation
)
ComputingBrands.kif 3359-3359
ICloud
是由
蘋果
managed
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