policyOwner - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27181-27182
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27185-27185	O argumento numero 1 de policyOwner e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27186-27186	O argumento numero 2 de policyOwner e' uma instancia de Policy
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27180-27180	policyOwner e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4138-4138
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4137-4137
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4136-4136
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27183-27183

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27188-27194	policyOwner Organizacao and Policy Processo Processo e' uma instancia de Criacao Processo e' um agente de Organizacao Policy e' o resultado de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2642-2647	Policy e' uma instancia de HousekeepingPolicy Organizacao policyOwner Organizacao and Policy TravelerAccommodation e' um atributo de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27175-27178	Policy e' uma instancia de Policy Organizacao policyOwner Organizacao and Policy

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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