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 27226-27227
(
domain
policyOwner
1
Organization
)
Mid-level-ontology.kif 27230-27230
Il numero 1 argomenti di
policyOwner
è un
istanza
di
Organizzazione
(
domain
policyOwner
2
Policy
)
Mid-level-ontology.kif 27231-27231
Il numero 2 argomenti di
policyOwner
è un
istanza
di
Policy
(
instance
policyOwner
BinaryPredicate
)
Mid-level-ontology.kif 27225-27225
policyOwner
è un'
istanza
di
PredicatoBinario
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 27228-27228
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
è un'
istanza
di
ChildrenPolicy
policyOwner
Organizzazione
and
Policy
policyLocationCoverage
Policy
and
Oggetto
Policy
contiene
s informazione l'affermazione
Entit�
customer
Entit�
and
Organizzazione
Entit�
è un'
istanza
di
HumanChild
ha il modello di forza di
Possibility
Policy
contiene
s informazione l'affermazione
Entit�
customer
Entit�
and
Organizzazione
Entit�
è un'
istanza
di
HumanChild
ha il modello di forza di
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
è un'
istanza
di
DailyHousekeepingPolicy
policyOwner
Organizzazione
and
Policy
l'affermazione
Entit�
Entit�
and
Entit�
guest
Entit�
and
Organizzazione
stays
Entit�
and
Entit�
Entit�
is
uguale
a il
tempo
di esistenza di
stays
Entit�
and
Entit�
Entit�
Entit�
è un'
istanza
di
Giorno
Entit�
has luogo
durante
Entit�
Entit�
Entit�
è un'
istanza
di
RoomCleaningService
Entit�
è un
paziente
di
Entit�
Entit�
has luogo
durante
Entit�
vales
durante
Entit�
ha il modello di forza di
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
è un'
istanza
di
NoChildrenPolicy
policyLocationCoverage
Policy
and
Oggetto
policyOwner
Organizzazione
and
Policy
deprivesNorm
Organizzazione
,
Entit�
Entit�
è un'
istanza
di
HumanChild
Entit�
è
localizzato
in
Oggetto
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
è un'
istanza
di
NoHousekeepingPolicy
policyOwner
Organizzazione
and
Policy
attribute
Organizzazione
and
TravelerAccommodation
l'affermazione
Entit�
Entit�
guest
Entit�
and
Organizzazione
Entit�
Entit�
è un'
istanza
di
RoomCleaningService
Entit�
è un
paziente
di
Entit�
vales
durante
il
tempo
di esistenza di
stays
Entit�
and
Entit�
ha il modello di forza di
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
è un'
istanza
di
NoPetsPolicy
policyLocationCoverage
Policy
and
Oggetto
policyOwner
Organizzazione
and
Policy
deprivesNorm
Organizzazione
,
Entit�
Entit�
è un'
istanza
di
DomesticAnimal
Entit�
è
localizzato
in
Oggetto
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
è un'
istanza
di
NoSmokingPolicy
policyLocationCoverage
Policy
and
Oggetto
policyOwner
Organizzazione
and
Policy
deprivesNorm
Organizzazione
,
Entit�
Entit�
è un'
istanza
di
Smoking
Entit�
è
localizzato
in
Oggetto
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
è un'
istanza
di
PetsAllowedPolicy
policyLocationCoverage
Policy
and
Oggetto
policyOwner
Organizzazione
and
Policy
confersNorm
Organizzazione
,
Entit�
Entit�
è un'
istanza
di
DomesticAnimal
Entit�
è
localizzato
in
Oggetto
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
è un'
istanza
di
SmokingAllowedPolicy
policyLocationCoverage
Policy
and
Oggetto
policyOwner
Organizzazione
and
Policy
confersNorm
Organizzazione
,
Entit�
Entit�
è un'
istanza
di
Smoking
Entit�
è
localizzato
in
Oggetto
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
è un'
istanza
di
WithHousekeepingPolicy
policyOwner
Organizzazione
and
Policy
attribute
Organizzazione
and
TravelerAccommodation
l'affermazione
Entit�
Entit�
guest
Entit�
and
Organizzazione
Entit�
Entit�
è un'
istanza
di
RoomCleaningService
Entit�
è un
paziente
di
Entit�
vales
durante
il
tempo
di esistenza di
stays
Entit�
and
Entit�
ha il modello di forza di
Likely
(=>
(
policyOwner
?AGENT ?POLICY)
(
exists
(?CREATE)
(
and
(
instance
?CREATE
Creation
)
(
agent
?CREATE ?AGENT)
(
result
?CREATE ?POLICY))))
Mid-level-ontology.kif 27233-27239
policyOwner
Organizzazione
and
Policy
Processo
Processo
è un'
istanza
di
Creazione
Processo
è un
agente
di
Organizzazione
Policy
è un
risultato
di
Processo
consequent
(=>
(
instance
?POLICY
HousekeepingPolicy
)
(
exists
(?AGENT)
(
and
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))))
Hotel.kif 2642-2647
Policy
è un'
istanza
di
HousekeepingPolicy
Organizzazione
policyOwner
Organizzazione
and
Policy
attribute
Organizzazione
and
TravelerAccommodation
(=>
(
instance
?POLICY
Policy
)
(
exists
(?ORG)
(
policyOwner
?ORG ?POLICY)))
Mid-level-ontology.kif 27220-27223
Policy
è un'
istanza
di
Policy
Organizzazione
policyOwner
Organizzazione
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