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
policyOwner
Sigma KEE - policyOwner
policyOwner
appearance as argument number 1
(
documentation
policyOwner
EnglishLanguage
"(
policyOwner
?
Organization
?
Policy
) describes how ?
Policy
is adopted and enforced by ?
Organization
")
Mid-level-ontology.kif 27181-27182
(
domain
policyOwner
1
Organization
)
Mid-level-ontology.kif 27185-27185
policyOwner
の数値 1 引数は
組織
の
instance
では %n
(
domain
policyOwner
2
Policy
)
Mid-level-ontology.kif 27186-27186
policyOwner
の数値 2 引数は
Policy
の
instance
では %n
(
instance
policyOwner
BinaryPredicate
)
Mid-level-ontology.kif 27180-27180
policyOwner
は
2進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
policyOwner
"%1 enacts policy %2 ")
domainEnglishFormat.kif 4138-4138
(
format
ChineseTraditionalLanguage
policyOwner
"%1 enacts policy %2 ")
domainEnglishFormat.kif 4137-4137
(
format
EnglishLanguage
policyOwner
"%1 enacts policy %2")
domainEnglishFormat.kif 4136-4136
(
termFormat
EnglishLanguage
policyOwner
"policy owner")
Mid-level-ontology.kif 27183-27183
antecedent
(=>
(
and
(
instance
?POLICY
ChildrenPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?CUST1)
(
and
(
customer
?CUST1 ?AGENT)
(
instance
?CUST1
HumanChild
)))
Possibility
))
(
containsInformation
?POLICY
(
not
(
modalAttribute
(
exists
(?CUST2)
(
and
(
customer
?CUST2 ?AGENT)
(
instance
?CUST2
HumanChild
)))
Possibility
)))))
Hotel.kif 2535-2553
Policy
は
ChildrenPolicy
の
instance
では %n
policyOwner
組織
and
Policy
policyLocationCoverage
Policy
and
オブジェクト
Policy
は ステートメント
エンティティー
customer
エンティティー
and
組織
エンティティー
は
HumanChild
の
instance
では %n には
Possibility
の
modal
force
が ある の情報を
contain
s %n{ない}
Policy
は ステートメント
エンティティー
customer
エンティティー
and
組織
エンティティー
は
HumanChild
の
instance
では %n には
Possibility
の
modal
force
が ない %p{ある} の情報を
contain
s %n{ない}
(=>
(
and
(
instance
?POLICY
DailyHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY))
(
modalAttribute
(
exists
(?GUEST ?ROOM ?STAY)
(
and
(
guest
?GUEST ?AGENT)
(
stays
?GUEST ?ROOM)
(
equal
?STAY
(
WhenFn
(
stays
?GUEST ?ROOM)))
(
holdsDuring
?STAY
(
forall
(?DAY)
(=>
(
and
(
instance
?DAY
Day
)
(
during
?DAY ?STAY))
(
exists
(?RC)
(
and
(
instance
?RC
RoomCleaningService
)
(
patient
?RC ?ROOM)
(
during
?RC ?DAY))))))))
Likely
))
Hotel.kif 2654-2674
Policy
は
DailyHousekeepingPolicy
の
instance
では %n
policyOwner
組織
and
Policy
ステートメント
エンティティー
エンティティー
and
エンティティー
guest
エンティティー
and
組織
stays
エンティティー
and
エンティティー
エンティティー
は
stays
エンティティー
and
エンティティー
の
time
の existence と
equal
では %n
エンティティー
エンティティー
は
日
の
instance
では %n
エンティティー
は
エンティティー
の
during
に takes %n{ない}
エンティティー
エンティティー
は
RoomCleaningService
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
during
に takes %n{ない}
は
エンティティー
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?POLICY
NoChildrenPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
deprivesNorm
?AGENT
(
exists
(?CHILD)
(
and
(
instance
?CHILD
HumanChild
)
(
located
?CHILD ?LOC)))
Permission
))
Hotel.kif 2626-2635
Policy
は
NoChildrenPolicy
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
policyOwner
組織
and
Policy
deprivesNorm
組織
,
エンティティー
エンティティー
は
HumanChild
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n and
Permission
(=>
(
and
(
instance
?POLICY
NoHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
not
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM)))))))
Likely
))
Hotel.kif 2681-2697
Policy
は
NoHousekeepingPolicy
の
instance
では %n
policyOwner
組織
and
Policy
TravelerAccommodation
は
組織
の
attribute
では %n
ステートメント
エンティティー
エンティティー
guest
エンティティー
and
組織
エンティティー
エンティティー
は
RoomCleaningService
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n は
stays
エンティティー
and
エンティティー
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?POLICY
NoPetsPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
deprivesNorm
?AGENT
(
exists
(?PET)
(
and
(
instance
?PET
DomesticAnimal
)
(
located
?PET ?LOC)))
Permission
))
Hotel.kif 2577-2586
Policy
は
NoPetsPolicy
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
policyOwner
組織
and
Policy
deprivesNorm
組織
,
エンティティー
エンティティー
は
DomesticAnimal
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n and
Permission
(=>
(
and
(
instance
?POLICY
NoSmokingPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
deprivesNorm
?AGENT
(
exists
(?SMOKE)
(
and
(
instance
?SMOKE
Smoking
)
(
located
?SMOKE ?LOC)))
Permission
))
Hotel.kif 2593-2602
Policy
は
NoSmokingPolicy
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
policyOwner
組織
and
Policy
deprivesNorm
組織
,
エンティティー
エンティティー
は
Smoking
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n and
Permission
(=>
(
and
(
instance
?POLICY
PetsAllowedPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
confersNorm
?AGENT
(
exists
(?PET)
(
and
(
instance
?PET
DomesticAnimal
)
(
located
?PET ?LOC)))
Permission
))
Hotel.kif 2561-2570
Policy
は
PetsAllowedPolicy
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
policyOwner
組織
and
Policy
confersNorm
組織
,
エンティティー
エンティティー
は
DomesticAnimal
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n and
Permission
(=>
(
and
(
instance
?POLICY
SmokingAllowedPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
confersNorm
?AGENT
(
exists
(?SMOKE)
(
and
(
instance
?SMOKE
Smoking
)
(
located
?SMOKE ?LOC)))
Permission
))
Hotel.kif 2610-2619
Policy
は
SmokingAllowedPolicy
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
policyOwner
組織
and
Policy
confersNorm
組織
,
エンティティー
エンティティー
は
Smoking
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n and
Permission
(=>
(
and
(
instance
?POLICY
WithHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM))))))
Likely
))
Hotel.kif 2704-2719
Policy
は
WithHousekeepingPolicy
の
instance
では %n
policyOwner
組織
and
Policy
TravelerAccommodation
は
組織
の
attribute
では %n
ステートメント
エンティティー
エンティティー
guest
エンティティー
and
組織
エンティティー
エンティティー
は
RoomCleaningService
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n は
stays
エンティティー
and
エンティティー
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
policyOwner
?AGENT ?POLICY)
(
exists
(?CREATE)
(
and
(
instance
?CREATE
Creation
)
(
agent
?CREATE ?AGENT)
(
result
?CREATE ?POLICY))))
Mid-level-ontology.kif 27188-27194
policyOwner
組織
and
Policy
工程
工程
は
創造
の
instance
では %n
組織
は
工程
の
agent
では %n
Policy
は
工程
の
result
では %n
consequent
(=>
(
instance
?POLICY
HousekeepingPolicy
)
(
exists
(?AGENT)
(
and
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))))
Hotel.kif 2642-2647
Policy
は
HousekeepingPolicy
の
instance
では %n
組織
policyOwner
組織
and
Policy
TravelerAccommodation
は
組織
の
attribute
では %n
(=>
(
instance
?POLICY
Policy
)
(
exists
(?ORG)
(
policyOwner
?ORG ?POLICY)))
Mid-level-ontology.kif 27175-27178
Policy
は
Policy
の
instance
では %n
組織
policyOwner
組織
and
Policy
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