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
では %n
(
domain
managedBy
2
AutonomousAgent
)
Hotel.kif 646-646
managedBy
の数値 2 引数は
AutonomousAgent
の
instance
では %n
(
instance
managedBy
BinaryPredicate
)
Hotel.kif 637-637
managedBy
は
2進述語
の
instance
では %n
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
オブジェクト
and
AutonomousAgent
AutonomousAgent
2
工程
AutonomousAgent
2 は
オブジェクト
を
possess
es %n{ない}
工程
は
管理
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
consequent
(=>
(
brandIcon
?BRAND ?ICON)
(
exists
(?AGENT)
(
and
(
managedBy
?BRAND ?AGENT)
(
managedBy
?ICON ?AGENT)
(
represents
?ICON ?BRAND))))
Hotel.kif 1319-1325
brandIcon
Brand
and
アイコン
AutonomousAgent
managedBy
Brand
and
AutonomousAgent
managedBy
アイコン
and
AutonomousAgent
アイコン
は
Brand
を
express
es %n{ない}
(=>
(
contestOrganizer
?CONTEST ?A)
(
managedBy
?CONTEST ?A))
Music.kif 1066-1068
contestOrganizer
コンテスト
and
認識エージェント
managedBy
コンテスト
and
認識エージェント
appearance as argument number 0
(
managedBy
IBookstore
AppleComputerCorporation
)
ComputingBrands.kif 3307-3307
managedBy
iBookstore
and
Apple
(
managedBy
ICloud
AppleComputerCorporation
)
ComputingBrands.kif 3359-3359
managedBy
ICloud
and
Apple
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