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 27193-27194
(
domain
policyOwner
1
Organization
)
Mid-level-ontology.kif 27197-27197
policyOwner
的 1 数量 是
机构
的
instance
(
domain
policyOwner
2
Policy
)
Mid-level-ontology.kif 27198-27198
policyOwner
的 2 数量 是
Policy
的
instance
(
instance
policyOwner
BinaryPredicate
)
Mid-level-ontology.kif 27192-27192
policyOwner
是
二元谓语
的
instance
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 27195-27195
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
和
机构
enacts
policy
那个 Policy
和
那个 Policy
covers
客体
,
然后
那个 Policy
contains
有存在
实体
这样
那个 机构
是
那个 实体
的
customer
和
那个 实体
是
人类的孩子
的
instance
的声明 has
可能性
的语气 的资料 或
那个 Policy
contains
有存在
另一个 实体
这样
那个 机构
是
那个 另外 实体
的
customer
和
那个 另外 实体
是
人类的孩子
的
instance
的声明 doesn't have
可能性
的语气 的资料
(=>
(
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
和
机构
enacts
policy
那个 Policy
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是在
那个 机构
的
guest
和
那个 实体
stays
在
那个 另外 实体
和
那个 第三 实体
equal
那个 实体
stays
在
那个 另外 实体
出现 的
time
和 对所有
第四 实体
如果
那个 第四 实体
是
日
的
instance
和
那个 第四 实体
在
那个 第三 实体
时段内发生,
然后 有存在
第五 实体
这样
那个 第五 实体
是
RoomCleaningService
的
instance
和
那个 另外 实体
是
那个 第五 实体
的
patient
和
那个 第五 实体
在
那个 第四 实体
时段内发生
在
那个 第三 实体
holdsDuring
的声明 has
容易
的语气
(=>
(
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
和
那个 Policy
covers
客体
和
机构
enacts
policy
那个 Policy
,
然后
那个 机构
对
允许
剥夺规范 有存在
实体
这样
那个 实体
是
人类的孩子
的
instance
和
那个 实体
是
located
在
那个 客体
(=>
(
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
和
机构
enacts
policy
那个 Policy
和
旅客住宿
是
那个 机构
的
attribute
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是在
那个 机构
的
guest
和 不存在
第三 实体
这样
那个 第三 实体
是
RoomCleaningService
的
instance
和
那个 另外 实体
是
那个 第三 实体
的
patient
在
那个 实体
stays
在
那个 另外 实体
出现 的
time
holdsDuring
的声明 has
容易
的语气
(=>
(
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
和
那个 Policy
covers
客体
和
机构
enacts
policy
那个 Policy
,
然后
那个 机构
对
允许
剥夺规范 有存在
实体
这样
那个 实体
是
家畜
的
instance
和
那个 实体
是
located
在
那个 客体
(=>
(
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
和
那个 Policy
covers
客体
和
机构
enacts
policy
那个 Policy
,
然后
那个 机构
对
允许
剥夺规范 有存在
实体
这样
那个 实体
是
抽烟
的
instance
和
那个 实体
是
located
在
那个 客体
(=>
(
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
和
那个 Policy
covers
客体
和
机构
enacts
policy
那个 Policy
,
然后
那个 机构
confers
规范 有存在
实体
这样
那个 实体
是
家畜
的
instance
和
那个 实体
是
located
在
那个 客体
对于
允许
(=>
(
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
和
那个 Policy
covers
客体
和
机构
enacts
policy
那个 Policy
,
然后
那个 机构
confers
规范 有存在
实体
这样
那个 实体
是
抽烟
的
instance
和
那个 实体
是
located
在
那个 客体
对于
允许
(=>
(
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
和
机构
enacts
policy
那个 Policy
和
旅客住宿
是
那个 机构
的
attribute
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是在
那个 机构
的
guest
和 有存在
第三 实体
这样
那个 第三 实体
是
RoomCleaningService
的
instance
和
那个 另外 实体
是
那个 第三 实体
的
patient
在
那个 实体
stays
在
那个 另外 实体
出现 的
time
holdsDuring
的声明 has
容易
的语气
(=>
(
policyOwner
?AGENT ?POLICY)
(
exists
(?CREATE)
(
and
(
instance
?CREATE
Creation
)
(
agent
?CREATE ?AGENT)
(
result
?CREATE ?POLICY))))
Mid-level-ontology.kif 27200-27206
如果
机构
enacts
policy
Policy
,
然后 有存在
过程
这样
那个 过程
是
创作
的
instance
和
那个 机构
是
那个 过程
的
agent
和
那个 Policy
是
那个 过程
的
result
consequent
(=>
(
instance
?POLICY
HousekeepingPolicy
)
(
exists
(?AGENT)
(
and
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))))
Hotel.kif 2642-2647
如果
Policy
是
HousekeepingPolicy
的
instance
,
然后 有存在
机构
这样
那个 机构
enacts
policy
那个 Policy
和
旅客住宿
是
那个 机构
的
attribute
(=>
(
instance
?POLICY
Policy
)
(
exists
(?ORG)
(
policyOwner
?ORG ?POLICY)))
Mid-level-ontology.kif 27187-27190
如果
Policy
是
Policy
的
instance
,
然后 有存在
机构
这样
那个 机构
enacts
policy
那个 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