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
Die Zahl 1 Argument von
policyOwner
ist ein
fall
von
Organization
%n{nicht}
(
domain
policyOwner
2
Policy
)
Mid-level-ontology.kif 27231-27231
Die Zahl 2 Argument von
policyOwner
ist ein
fall
von
Policy
%n{nicht}
(
instance
policyOwner
BinaryPredicate
)
Mid-level-ontology.kif 27225-27225
policyOwner
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
Policy
ist ein
fall
von
ChildrenPolicy
%n{nicht} und
policyOwner
Organization
and
** Policy
und
policyLocationCoverage
** Policy
and
Object
,
dann
** Policy
enthaelt Informationen ueber die Aussage es gibt
entity
um
customer
** entity
and
** Organization
und
** entity
ist ein
fall
von
HumanChild
%n{nicht} hat die modale Kraft von
Possibility
oder
** Policy
enthaelt Informationen ueber nicht die Aussage es gibt
** entity
um
customer
** ** entity
and
** Organization
und
** ** entity
ist ein
fall
von
HumanChild
%n{nicht} hat die modale Kraft von
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
Wenn
Policy
ist ein
fall
von
DailyHousekeepingPolicy
%n{nicht} und
policyOwner
Organization
and
** Policy
,
dann die Aussage es gibt
entity
,
** entity
, and und
** entity
um
guest
** entity
and
** Organization
und
stays
** entity
and
** ** entity
und
** ** entity
ist gleich die
zeit
des Bestehens von
stays
** entity
and
** ** entity
%n{nicht} und fuer alle
** entity
wenn
** ** entity
ist ein
fall
von
Day
%n{nicht} und
** ** entity
geschieht
waehrend
** ** entity
%n{nicht},
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
RoomCleaningService
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
geschieht
waehrend
** ** entity
%n{nicht}
haelt
waehrend
** ** entity
%n{nicht} hat die modale Kraft von
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
Wenn
Policy
ist ein
fall
von
NoChildrenPolicy
%n{nicht} und
policyLocationCoverage
** Policy
and
Object
und
policyOwner
Organization
and
** Policy
,
dann
deprivesNorm
** Organization
, es gibt
entity
um
** entity
ist ein
fall
von
HumanChild
%n{nicht} und
** entity
befindet
sich an %n{nicht} 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
Wenn
Policy
ist ein
fall
von
NoHousekeepingPolicy
%n{nicht} und
policyOwner
Organization
and
** Policy
und
TravelerAccommodation
ist ein
attribut
von
** Organization
%n{nicht},
dann die Aussage es gibt
entity
und
** entity
um
guest
** entity
and
** Organization
und es gibt nicht
** entity
um
** ** entity
ist ein
fall
von
RoomCleaningService
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
stays
** entity
and
** ** entity
%n{nicht} hat die modale Kraft von
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
Wenn
Policy
ist ein
fall
von
NoPetsPolicy
%n{nicht} und
policyLocationCoverage
** Policy
and
Object
und
policyOwner
Organization
and
** Policy
,
dann
deprivesNorm
** Organization
, es gibt
entity
um
** entity
ist ein
fall
von
DomesticAnimal
%n{nicht} und
** entity
befindet
sich an %n{nicht} 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
Wenn
Policy
ist ein
fall
von
NoSmokingPolicy
%n{nicht} und
policyLocationCoverage
** Policy
and
Object
und
policyOwner
Organization
and
** Policy
,
dann
deprivesNorm
** Organization
, es gibt
entity
um
** entity
ist ein
fall
von
Smoking
%n{nicht} und
** entity
befindet
sich an %n{nicht} 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
Wenn
Policy
ist ein
fall
von
PetsAllowedPolicy
%n{nicht} und
policyLocationCoverage
** Policy
and
Object
und
policyOwner
Organization
and
** Policy
,
dann
confersNorm
** Organization
, es gibt
entity
um
** entity
ist ein
fall
von
DomesticAnimal
%n{nicht} und
** entity
befindet
sich an %n{nicht} 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
Wenn
Policy
ist ein
fall
von
SmokingAllowedPolicy
%n{nicht} und
policyLocationCoverage
** Policy
and
Object
und
policyOwner
Organization
and
** Policy
,
dann
confersNorm
** Organization
, es gibt
entity
um
** entity
ist ein
fall
von
Smoking
%n{nicht} und
** entity
befindet
sich an %n{nicht} 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
Wenn
Policy
ist ein
fall
von
WithHousekeepingPolicy
%n{nicht} und
policyOwner
Organization
and
** Policy
und
TravelerAccommodation
ist ein
attribut
von
** Organization
%n{nicht},
dann die Aussage es gibt
entity
und
** entity
um
guest
** entity
and
** Organization
und es gibt
** entity
um
** ** entity
ist ein
fall
von
RoomCleaningService
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
stays
** entity
and
** ** entity
%n{nicht} hat die modale Kraft von
Likely
(=>
(
policyOwner
?AGENT ?POLICY)
(
exists
(?CREATE)
(
and
(
instance
?CREATE
Creation
)
(
agent
?CREATE ?AGENT)
(
result
?CREATE ?POLICY))))
Mid-level-ontology.kif 27233-27239
Wenn
policyOwner
Organization
and
Policy
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Creation
%n{nicht} und
** Process
ist der
agent
von
** Organization
%n{nicht} und
** Policy
ist ein
resultat
von
** Process
%n{nicht}
consequent
(=>
(
instance
?POLICY
HousekeepingPolicy
)
(
exists
(?AGENT)
(
and
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))))
Hotel.kif 2642-2647
Wenn
Policy
ist ein
fall
von
HousekeepingPolicy
%n{nicht},
dann es gibt
Organization
um
policyOwner
** Organization
and
** Policy
und
TravelerAccommodation
ist ein
attribut
von
** Organization
%n{nicht}
(=>
(
instance
?POLICY
Policy
)
(
exists
(?ORG)
(
policyOwner
?ORG ?POLICY)))
Mid-level-ontology.kif 27220-27223
Wenn
Policy
ist ein
fall
von
Policy
%n{nicht},
dann es gibt
Organization
um
policyOwner
** Organization
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