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 25503-25503
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25506-25506	The number 1 argument of policy owner is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25507-25507	The number 2 argument of policy owner is an instance of policy
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25502-25502	policy owner is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4139-4139
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.	Mid-level-ontology.kif 25504-25504

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2481-2499	If a policy is an instance of children policy and an organization enacts policy the policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the organization is a customer of the entity and the entity is an instance of human child has the modal force of possibility or the policy contains information the statement there exists another entity such that the organization is a customer of the other entity and the other entity is an instance of human child doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2600-2620	If a policy is an instance of daily housekeeping and an organization enacts policy the policy, then the statement there exist an entity and another entity such that the entity is a guest at the organization and the entity stays at the other entity and a third entity is equal to the time of existence of the entity stays at the other entity and for all a fourth entity if the fourth entity is an instance of day and the fourth entity takes place during the third entity, then there exists a fifth entity such that the fifth entity is an instance of service and the other entity is a patient of the fifth entity and the fifth entity takes place during the fourth entity holds during the third entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2572-2581	If a policy is an instance of no children allowed and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of human child and the entity is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2627-2643	If a policy is an instance of no housekeeping and an organization enacts policy the policy and traveler accommodation is an attribute of the organization, then the statement there exist an entity and another entity such that the entity is a guest at the organization and there doesn't exist a third entity such that the third entity is an instance of service and the other entity is a patient of the third entity holds during the time of existence of the entity stays at the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2523-2532	If a policy is an instance of no pets allowed and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2539-2548	If a policy is an instance of no smoking policy and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of smoking and the entity is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2507-2516	If a policy is an instance of pets allowed and the policy covers an object and an organization enacts policy the policy, then the organization confers norm there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2556-2565	If a policy is an instance of smoking allowed policy and the policy covers an object and an organization enacts policy the policy, then the organization confers norm there exists an entity such that the entity is an instance of smoking and the entity is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2650-2665	If a policy is an instance of with housekeeping and an organization enacts policy the policy and traveler accommodation is an attribute of the organization, then the statement there exist an entity and another entity such that the entity is a guest at the organization and there exists a third entity such that the third entity is an instance of service and the other entity is a patient of the third entity holds during the time of existence of the entity stays at the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25511-25517	If an organization enacts policy a policy, then there exists a process such that the process is an instance of creation and the organization is an agent of the process and the policy is a result of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2588-2593	If a policy is an instance of housekeeping policy, then there exists an organization such that the organization enacts policy the policy and traveler accommodation is an attribute of the organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25497-25500	If a policy is an instance of policy, then there exists an organization such that the organization enacts policy the 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners