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 数量 是
物理
的
instance
(
domain
managedBy
2
AutonomousAgent
)
Hotel.kif 646-646
managedBy
的 2 数量 是
施事体
的
instance
(
instance
managedBy
BinaryPredicate
)
Hotel.kif 637-637
managedBy
是
二元谓语
的
instance
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
如果
客体
是由
施事体
managed
,
然后 有存在
那个 施事体
2 和
过程
这样
那个 施事体
2
possesses
那个 客体
和
那个 过程
是
管理
的
instance
和
那个 客体
是
那个 过程
的
patient
和
那个 施事体
是
那个 过程
的
agent
consequent
(=>
(
brandIcon
?BRAND ?ICON)
(
exists
(?AGENT)
(
and
(
managedBy
?BRAND ?AGENT)
(
managedBy
?ICON ?AGENT)
(
represents
?ICON ?BRAND))))
Hotel.kif 1319-1325
如果
图标
是
Brand
的
icon
,
然后 有存在
施事体
这样
那个 Brand
是由
那个 施事体
managed
和
那个 图标
是由
那个 施事体
managed
和
那个 图标
表达
那个 Brand
(=>
(
contestOrganizer
?CONTEST ?A)
(
managedBy
?CONTEST ?A))
Music.kif 1066-1068
如果
有认知的主事
organizes
比赛
,
然后
那个 比赛
是由
那个 有认知的主事
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