policyLocationCoverage - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - policyLocationCoverage

policyLocationCoverage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2437-2440
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2441-2441	The number 1 argument of policyLocationCoverage is an instance of policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2442-2442	The number 2 argument of policyLocationCoverage is an instance of object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2436-2436	policyLocationCoverage 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

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2495-2513	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 2586-2595	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 2537-2546	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 2553-2562	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 2472-2488	If a policy is an instance of pet policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object has the modal force of permission or the policy contains information the statement there exists another entity such that the other entity is an instance of domestic animal and the other entity is located at the object has the modal force of prohibition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2521-2530	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 2570-2579	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 2449-2465	If a policy is an instance of smoking policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the entity is an instance of smoking and the entity is located at the object has the modal force of permission or the policy contains information the statement there exists another entity such that the other entity is an instance of smoking and the other entity is located at the object has the modal force of prohibition

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 594-599	If an agent has a policy, then for all an object if the object is an element of belongings of the agent, then the policy covers the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 428-433	If a policy is a policy that applies to a kind of hotel unit, then for all an object if the object is an instance of a kind of hotel unit, then the policy covers the object

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