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
policyLocationCoverage
Sigma KEE - policyLocationCoverage
policyLocationCoverage
appearance as argument number 1
(
documentation
policyLocationCoverage
EnglishLanguage
"(
policyLocationCoverage
?
Policy
?
GeographicArea
) creates a relationship for policies that are restricted to certain areas or location. This relation means that ?
Policy
enforcement is confined to ?%&GeographicArea")
Hotel.kif 2477-2480
(
domain
policyLocationCoverage
1
Policy
)
Hotel.kif 2481-2481
The number 1 argument of
policy location coverage
is an
instance
of
policy
(
domain
policyLocationCoverage
2
Object
)
Hotel.kif 2482-2482
The number 2 argument of
policy location coverage
is an
instance
of
object
(
instance
policyLocationCoverage
BinaryPredicate
)
Hotel.kif 2476-2476
policy location coverage
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
policyLocationCoverage
"%1
covers
%2 ")
domainEnglishFormat.kif 4134-4134
(
format
ChineseTraditionalLanguage
policyLocationCoverage
"%1
covers
%2")
domainEnglishFormat.kif 4133-4133
(
format
EnglishLanguage
policyLocationCoverage
"%1
covers
%2")
domainEnglishFormat.kif 4132-4132
(
termFormat
EnglishLanguage
policyLocationCoverage
"policy location coverage")
domainEnglishFormat.kif 65903-65903
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
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
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
PetPolicy
)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?PET1)
(
and
(
instance
?PET1
DomesticAnimal
)
(
located
?PET1 ?LOC)))
Permission
))
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?PET2)
(
and
(
instance
?PET2
DomesticAnimal
)
(
located
?PET2 ?LOC)))
Prohibition
))))
Hotel.kif 2512-2528
If
a policy
is an
instance
of
pet policy
and
the policy
covers
an object
,
then
the policy
contain
s information the statement there exists
an entity
such that
the entity
is an
instance
of
domestic animal
and
the entity
is
located
at
the object
has the
modal
force
of
permission
or
the policy
contain
s information the statement there exists
another entity
such that
the other entity
is an
instance
of
domestic animal
and
the other entity
is
located
at
the object
has the
modal
force
of
prohibition
(=>
(
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
SmokingPolicy
)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?SMOKE1)
(
and
(
instance
?SMOKE1
Smoking
)
(
located
?SMOKE1 ?LOC)))
Permission
))
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?SMOKE2)
(
and
(
instance
?SMOKE2
Smoking
)
(
located
?SMOKE2 ?LOC)))
Prohibition
))))
Hotel.kif 2489-2505
If
a policy
is an
instance
of
smoking policy
and
the policy
covers
an object
,
then
the policy
contain
s information the statement there exists
an entity
such that
the entity
is an
instance
of
smoking
and
the entity
is
located
at
the object
has the
modal
force
of
permission
or
the policy
contain
s information the statement there exists
another entity
such that
the other entity
is an
instance
of
smoking
and
the other entity
is
located
at
the object
has the
modal
force
of
prohibition
consequent
(=>
(
propertyPolicy
?AGENT ?POLICY)
(
forall
(?X)
(=>
(
element
?X
(
PropertyFn
?AGENT))
(
policyLocationCoverage
?POLICY ?X))))
Hotel.kif 615-620
If
an agent
has
a policy
,
then for all
an object
if
the object
is an
element
of
belongings
of
the agent
,
then
the policy
covers
the object
(=>
(
roomPolicy
?ROOM ?POLICY)
(
forall
(?R)
(=>
(
instance
?R ?ROOM)
(
policyLocationCoverage
?POLICY ?R))))
Hotel.kif 448-453
If
a policy
is a
policy
that applies to
a kind of hotel unit
,
then for all
an object
if
the object
is an
instance
of
a kind of hotel unit
,
then
the policy
covers
the object
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