TreeView Knowledge Base Browser - policyOwner

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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	O argumento numero 1 de policyOwner e' uma instancia de Organizacao
(domain policyOwner 2 Policy)	Mid-level-ontology.kif 27231-27231	O argumento numero 2 de policyOwner e' uma instancia de Policy
(instance policyOwner BinaryPredicate)	Mid-level-ontology.kif 27225-27225	policyOwner e' uma instancia de Predicado Binario

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 e' uma instancia de ChildrenPolicy policyOwner Organizacao and Policy policyLocationCoverage Policy and Objeto Policy contem informacao o argumento Entidade customer Entidade and Organizacao Entidade e' uma instancia de HumanChild tem a forca modal de Possibility Policy contem informacao o argumento Entidade customer Entidade and Organizacao Entidade e' uma instancia de HumanChild nao %n a forca modal 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 e' uma instancia de DailyHousekeepingPolicy policyOwner Organizacao and Policy o argumento Entidade Entidade and Entidade guest Entidade and Organizacao stays Entidade and Entidade Entidade e' igual a tempo de existencia de stays Entidade and Entidade Entidade Entidade e' uma instancia de Dia Entidade acontece durante Entidade Entidade Entidade e' uma instancia de RoomCleaningService Entidade e' um patient de Entidade Entidade acontece durante Entidade vale durante Entidade tem a forca modal 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 e' uma instancia de NoChildrenPolicy policyLocationCoverage Policy and Objeto policyOwner Organizacao and Policy deprivesNorm Organizacao, Entidade Entidade e' uma instancia de HumanChild Entidade e' situado em Objeto 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 e' uma instancia de NoHousekeepingPolicy policyOwner Organizacao and Policy TravelerAccommodation e' um atributo de Organizacao o argumento Entidade Entidade guest Entidade and Organizacao Entidade Entidade e' uma instancia de RoomCleaningService Entidade e' um patient de Entidade vale durante tempo de existencia de stays Entidade and Entidade tem a forca modal 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 e' uma instancia de NoPetsPolicy policyLocationCoverage Policy and Objeto policyOwner Organizacao and Policy deprivesNorm Organizacao, Entidade Entidade e' uma instancia de DomesticAnimal Entidade e' situado em Objeto 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 e' uma instancia de NoSmokingPolicy policyLocationCoverage Policy and Objeto policyOwner Organizacao and Policy deprivesNorm Organizacao, Entidade Entidade e' uma instancia de Smoking Entidade e' situado em Objeto 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 e' uma instancia de PetsAllowedPolicy policyLocationCoverage Policy and Objeto policyOwner Organizacao and Policy confersNorm Organizacao, Entidade Entidade e' uma instancia de DomesticAnimal Entidade e' situado em Objeto 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 e' uma instancia de SmokingAllowedPolicy policyLocationCoverage Policy and Objeto policyOwner Organizacao and Policy confersNorm Organizacao, Entidade Entidade e' uma instancia de Smoking Entidade e' situado em Objeto 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 e' uma instancia de WithHousekeepingPolicy policyOwner Organizacao and Policy TravelerAccommodation e' um atributo de Organizacao o argumento Entidade Entidade guest Entidade and Organizacao Entidade Entidade e' uma instancia de RoomCleaningService Entidade e' um patient de Entidade vale durante tempo de existencia de stays Entidade and Entidade tem a forca modal de Likely
(=> (policyOwner ?AGENT ?POLICY) (exists (?CREATE) (and (instance ?CREATE Creation) (agent ?CREATE ?AGENT) (result ?CREATE ?POLICY))))	Mid-level-ontology.kif 27233-27239	policyOwner Organizacao and Policy Processo Processo e' uma instancia de Criacao Processo e' um agente de Organizacao Policy e' o resultado de Processo

consequent

(=> (instance ?POLICY HousekeepingPolicy) (exists (?AGENT) (and (policyOwner ?AGENT ?POLICY) (attribute ?AGENT TravelerAccommodation))))	Hotel.kif 2642-2647	Policy e' uma instancia de HousekeepingPolicy Organizacao policyOwner Organizacao and Policy TravelerAccommodation e' um atributo de Organizacao
(=> (instance ?POLICY Policy) (exists (?ORG) (policyOwner ?ORG ?POLICY)))	Mid-level-ontology.kif 27220-27223	Policy e' uma instancia de Policy Organizacao policyOwner Organizacao 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