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
The number 1 argument of
policy owner
is an
instance
of
organization
(
domain
policyOwner
2
Policy
)
Mid-level-ontology.kif 27198-27198
The number 2 argument of
policy owner
is an
instance
of
policy
(
instance
policyOwner
BinaryPredicate
)
Mid-level-ontology.kif 27192-27192
policy owner
is an
instance
of
binary predicate
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
If
a policy
is an
instance
of
children policy
and
an organization
enacts
policy
the policy
and
the policy
covers
an object
,
then
the policy
contain
s information the statement there exists
an entity
such that
the organization
is a
customer
of
the entity
and
the entity
is an
instance
of
human child
has the
modal
force
of
possibility
or
the policy
contain
s information the statement there exists
another entity
such that
the organization
is a
customer
of
the other entity
and
the other entity
is an
instance
of
human child
doesn't have the
modal
force
of
possibility
(=>
(
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
If
a policy
is an
instance
of
daily housekeeping
and
an organization
enacts
policy
the policy
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the entity
is a
guest
at
the organization
and
the entity
stays
at
the other entity
and
the third entity
is
equal
to the
time
of existence of
the entity
stays
at
the other entity
and for all
a fourth entity
if
the fourth entity
is an
instance
of
day
and
the fourth entity
takes place
during
the third entity
,
then there exists
a fifth entity
such that
the fifth entity
is an
instance
of
service
and
the other entity
is a
patient
of
the fifth entity
and
the fifth entity
takes place
during
the fourth entity
holds
during
the third entity
has the
modal
force
of
likely
(=>
(
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
If
a policy
is an
instance
of
no children allowed
and
the policy
covers
an object
and
an organization
enacts
policy
the policy
,
then
the organization
deprives
norm there exists
an entity
such that
the entity
is an
instance
of
human child
and
the entity
is
located
at
the object
for
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
If
a policy
is an
instance
of
no housekeeping
and
an organization
enacts
policy
the policy
and
traveler accommodation
is an
attribute
of
the organization
,
then the statement there exist
an entity
and
another entity
such that
the entity
is a
guest
at
the organization
and there doesn't exist
a third entity
such that
the third entity
is an
instance
of
service
and
the other entity
is a
patient
of
the third entity
holds
during
the
time
of existence of
the entity
stays
at
the other entity
has the
modal
force
of
likely
(=>
(
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
If
a policy
is an
instance
of
no pets allowed
and
the policy
covers
an object
and
an organization
enacts
policy
the policy
,
then
the organization
deprives
norm there exists
an entity
such that
the entity
is an
instance
of
domestic animal
and
the entity
is
located
at
the object
for
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
If
a policy
is an
instance
of
no smoking policy
and
the policy
covers
an object
and
an organization
enacts
policy
the policy
,
then
the organization
deprives
norm there exists
an entity
such that
the entity
is an
instance
of
smoking
and
the entity
is
located
at
the object
for
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
If
a policy
is an
instance
of
pets allowed
and
the policy
covers
an object
and
an organization
enacts
policy
the policy
,
then
the organization
confers
norm there exists
an entity
such that
the entity
is an
instance
of
domestic animal
and
the entity
is
located
at
the object
for
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
If
a policy
is an
instance
of
smoking allowed policy
and
the policy
covers
an object
and
an organization
enacts
policy
the policy
,
then
the organization
confers
norm there exists
an entity
such that
the entity
is an
instance
of
smoking
and
the entity
is
located
at
the object
for
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
If
a policy
is an
instance
of
with housekeeping
and
an organization
enacts
policy
the policy
and
traveler accommodation
is an
attribute
of
the organization
,
then the statement there exist
an entity
and
another entity
such that
the entity
is a
guest
at
the organization
and there exists
a third entity
such that
the third entity
is an
instance
of
service
and
the other entity
is a
patient
of
the third entity
holds
during
the
time
of existence of
the entity
stays
at
the other entity
has the
modal
force
of
likely
(=>
(
policyOwner
?AGENT ?POLICY)
(
exists
(?CREATE)
(
and
(
instance
?CREATE
Creation
)
(
agent
?CREATE ?AGENT)
(
result
?CREATE ?POLICY))))
Mid-level-ontology.kif 27200-27206
If
an organization
enacts
policy
a policy
,
then there exists
a process
such that
the process
is an
instance
of
creation
and
the organization
is an
agent
of
the process
and
the policy
is a
result
of
the process
consequent
(=>
(
instance
?POLICY
HousekeepingPolicy
)
(
exists
(?AGENT)
(
and
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))))
Hotel.kif 2642-2647
If
a policy
is an
instance
of
housekeeping policy
,
then there exists
an organization
such that
the organization
enacts
policy
the policy
and
traveler accommodation
is an
attribute
of
the organization
(=>
(
instance
?POLICY
Policy
)
(
exists
(?ORG)
(
policyOwner
?ORG ?POLICY)))
Mid-level-ontology.kif 27187-27190
If
a policy
is an
instance
of
policy
,
then there exists
an organization
such that
the organization
enacts
policy
the 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