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
域
policyLocationCoverage
, 1 and
Policy
(
domain
policyLocationCoverage
2
Object
)
Hotel.kif 2482-2482
域
policyLocationCoverage
, 2 and
Object
(
instance
policyLocationCoverage
BinaryPredicate
)
Hotel.kif 2476-2476
例
policyLocationCoverage
and
BinaryPredicate
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 65901-65901
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
and
ChildrenPolicy
Organization
enacts
policy
Policy
Policy
covers
Object
包含信息
Policy
and
模態屬性
entity
Organization
是
entity
的
customer
例
entity
and
人類的孩子
and
可能性
包含信息
Policy
and
模態屬性
entity
Organization
是
entity
的
customer
例
entity
and
人類的孩子
and
可能性
(=>
(
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
and
NoChildrenPolicy
Policy
covers
Object
Organization
enacts
policy
Policy
Organization
對
允許
剝奪規範
entity
例
entity
and
人類的孩子
位於
entity
and
Object
(=>
(
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
and
NoPetsPolicy
Policy
covers
Object
Organization
enacts
policy
Policy
Organization
對
允許
剝奪規範
entity
例
entity
and
家畜
位於
entity
and
Object
(=>
(
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
and
NoSmokingPolicy
Policy
covers
Object
Organization
enacts
policy
Policy
Organization
對
允許
剝奪規範
entity
例
entity
and
抽煙
位於
entity
and
Object
(=>
(
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
例
Policy
and
PetPolicy
Policy
covers
Object
包含信息
Policy
and
模態屬性
entity
例
entity
and
家畜
位於
entity
and
Object
and
允許
包含信息
Policy
and
模態屬性
entity
例
entity
and
家畜
位於
entity
and
Object
and
禁令
(=>
(
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
and
PetsAllowedPolicy
Policy
covers
Object
Organization
enacts
policy
Policy
Organization
confers
規範
entity
例
entity
and
家畜
位於
entity
and
Object
對於
允許
(=>
(
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
and
SmokingAllowedPolicy
Policy
covers
Object
Organization
enacts
policy
Policy
Organization
confers
規範
entity
例
entity
and
抽煙
位於
entity
and
Object
對於
允許
(=>
(
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
例
Policy
and
SmokingPolicy
Policy
covers
Object
包含信息
Policy
and
模態屬性
entity
例
entity
and
抽煙
位於
entity
and
Object
and
允許
包含信息
Policy
and
模態屬性
entity
例
entity
and
抽煙
位於
entity
and
Object
and
禁令
consequent
(=>
(
propertyPolicy
?AGENT ?POLICY)
(
forall
(?X)
(=>
(
element
?X
(
PropertyFn
?AGENT))
(
policyLocationCoverage
?POLICY ?X))))
Hotel.kif 615-620
AutonomousAgent
有
Policy
Object
元件
Object
and
屬性
AutonomousAgent
Policy
covers
Object
(=>
(
roomPolicy
?ROOM ?POLICY)
(
forall
(?R)
(=>
(
instance
?R ?ROOM)
(
policyLocationCoverage
?POLICY ?R))))
Hotel.kif 448-453
Policy
是應用在
HotelUnit
的
policy
Object
例
Object
and
HotelUnit
Policy
covers
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