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
Le nombre 1 argument de
policyOwner
est une
instance
de
organisation
(
domain
policyOwner
2
Policy
)
Mid-level-ontology.kif 27198-27198
Le nombre 2 argument de
policyOwner
est une
instance
de
Policy
(
instance
policyOwner
BinaryPredicate
)
Mid-level-ontology.kif 27192-27192
policyOwner
est une
instance
de
pr�dicat binaire
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
est une
instance
de
ChildrenPolicy
policyOwner
organisation
and
Policy
policyLocationCoverage
Policy
and
objet
Policy
contient
information l'argument
entit�
customer
entit�
and
organisation
entit�
est une
instance
de
HumanChild
a la
force
modale
de
Possibility
Policy
contient
information l'argument
entit�
customer
entit�
and
organisation
entit�
est une
instance
de
HumanChild
n' %n{pas} la
force
modale
de
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
Policy
est une
instance
de
DailyHousekeepingPolicy
policyOwner
organisation
and
Policy
l'argument
entit�
entit�
and
entit�
guest
entit�
and
organisation
stays
entit�
and
entit�
entit�
est
temps
d'existence de
stays
entit�
and
entit�
entit�
entit�
est une
instance
de
jour
entit�
prend place
pendant
entit�
entit�
entit�
est une
instance
de
RoomCleaningService
entit�
est un
patient
de
entit�
entit�
prend place
pendant
entit�
pendant
entit�
a la
force
modale
de
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
Policy
est une
instance
de
NoChildrenPolicy
policyLocationCoverage
Policy
and
objet
policyOwner
organisation
and
Policy
deprivesNorm
organisation
,
entit�
entit�
est une
instance
de
HumanChild
entit�
est
situ
� �
objet
and
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
Policy
est une
instance
de
NoHousekeepingPolicy
policyOwner
organisation
and
Policy
TravelerAccommodation
est un
attribut
de
organisation
l'argument
entit�
entit�
guest
entit�
and
organisation
entit�
entit�
est une
instance
de
RoomCleaningService
entit�
est un
patient
de
entit�
pendant
temps
d'existence de
stays
entit�
and
entit�
a la
force
modale
de
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
Policy
est une
instance
de
NoPetsPolicy
policyLocationCoverage
Policy
and
objet
policyOwner
organisation
and
Policy
deprivesNorm
organisation
,
entit�
entit�
est une
instance
de
DomesticAnimal
entit�
est
situ
� �
objet
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
est une
instance
de
NoSmokingPolicy
policyLocationCoverage
Policy
and
objet
policyOwner
organisation
and
Policy
deprivesNorm
organisation
,
entit�
entit�
est une
instance
de
Smoking
entit�
est
situ
� �
objet
and
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
Policy
est une
instance
de
PetsAllowedPolicy
policyLocationCoverage
Policy
and
objet
policyOwner
organisation
and
Policy
confersNorm
organisation
,
entit�
entit�
est une
instance
de
DomesticAnimal
entit�
est
situ
� �
objet
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
est une
instance
de
SmokingAllowedPolicy
policyLocationCoverage
Policy
and
objet
policyOwner
organisation
and
Policy
confersNorm
organisation
,
entit�
entit�
est une
instance
de
Smoking
entit�
est
situ
� �
objet
and
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
Policy
est une
instance
de
WithHousekeepingPolicy
policyOwner
organisation
and
Policy
TravelerAccommodation
est un
attribut
de
organisation
l'argument
entit�
entit�
guest
entit�
and
organisation
entit�
entit�
est une
instance
de
RoomCleaningService
entit�
est un
patient
de
entit�
pendant
temps
d'existence de
stays
entit�
and
entit�
a la
force
modale
de
Likely
(=>
(
policyOwner
?AGENT ?POLICY)
(
exists
(?CREATE)
(
and
(
instance
?CREATE
Creation
)
(
agent
?CREATE ?AGENT)
(
result
?CREATE ?POLICY))))
Mid-level-ontology.kif 27200-27206
policyOwner
organisation
and
Policy
processus
processus
est une
instance
de
cr�ation
processus
est un
agent
de
organisation
Policy
est le
resultat
de
processus
consequent
(=>
(
instance
?POLICY
HousekeepingPolicy
)
(
exists
(?AGENT)
(
and
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))))
Hotel.kif 2642-2647
Policy
est une
instance
de
HousekeepingPolicy
organisation
policyOwner
organisation
and
Policy
TravelerAccommodation
est un
attribut
de
organisation
(=>
(
instance
?POLICY
Policy
)
(
exists
(?ORG)
(
policyOwner
?ORG ?POLICY)))
Mid-level-ontology.kif 27187-27190
Policy
est une
instance
de
Policy
organisation
policyOwner
organisation
and
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