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 引数は
Policy
の
instance
では %n
(
domain
policyLocationCoverage
2
Object
)
Hotel.kif 2482-2482
policyLocationCoverage
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
policyLocationCoverage
BinaryPredicate
)
Hotel.kif 2476-2476
policyLocationCoverage
は
2進述語
の
instance
では %n
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
は
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
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
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
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
は
PetPolicy
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
Policy
は ステートメント
エンティティー
エンティティー
は
DomesticAnimal
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n には
Permission
の
modal
force
が ある の情報を
contain
s %n{ない}
Policy
は ステートメント
エンティティー
エンティティー
は
DomesticAnimal
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n には
Prohibition
の
modal
force
が ある の情報を
contain
s %n{ない}
(=>
(
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
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
は
SmokingPolicy
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
Policy
は ステートメント
エンティティー
エンティティー
は
Smoking
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n には
Permission
の
modal
force
が ある の情報を
contain
s %n{ない}
Policy
は ステートメント
エンティティー
エンティティー
は
Smoking
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n には
Prohibition
の
modal
force
が ある の情報を
contain
s %n{ない}
consequent
(=>
(
propertyPolicy
?AGENT ?POLICY)
(
forall
(?X)
(=>
(
element
?X
(
PropertyFn
?AGENT))
(
policyLocationCoverage
?POLICY ?X))))
Hotel.kif 615-620
propertyPolicy
AutonomousAgent
and
Policy
オブジェクト
オブジェクト
は
AutonomousAgent
の
belongings
の
element
%n
policyLocationCoverage
Policy
and
オブジェクト
(=>
(
roomPolicy
?ROOM ?POLICY)
(
forall
(?R)
(=>
(
instance
?R ?ROOM)
(
policyLocationCoverage
?POLICY ?R))))
Hotel.kif 448-453
roomPolicy
HotelUnit
and
Policy
オブジェクト
オブジェクト
は
HotelUnit
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
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