Policy - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Policy

Policy(policy)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24989-24990
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24993-24993	Policy is a subclass of proposition

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2471-2471	Children policy is a subclass of policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2578-2578	Housekeeping policy is a subclass of policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2448-2448	Pet policy is a subclass of policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2425-2425	Smoking policy is a subclass of policy
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 300-300	TravelPolicy is a subclass of policy
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24991-24991	"policy" is the printable form of policy in english language

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 226-226	The number 2 argument of room policy in all rooms is an instance of policy
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 251-251	The number 3 argument of policy clause is an instance of policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2422-2422	The number 1 argument of policyLocationCoverage is an instance of policy
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25009-25009	The number 2 argument of policy owner is an instance of policy
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 209-209	The number 1 argument of policyPeriod is an instance of policy
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 246-246	The number 2 argument of rate policy is an instance of policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 582-582	The number 2 argument of property policy is an instance of policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-419	The number 2 argument of room policy is an instance of policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 241-241	The number 2 argument of room policy in all rooms is an instance of policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2727-2727	The number 2 argument of policy inclusion is a subclass of policy

antecedent

No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 285-290	If a content bearing physical is an instance of policy document and the content bearing physical contains information a formula and the formula has an attribute policy, then the statement the formula has the modal force of legal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24999-25002	If a policy is an instance of policy, then there exists an organization such that the organization enacts policy the policy

consequent

No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 236-241	If a process is an instance of AdoptingPolicy, then there exists an entity such that the entity is an instance of policy and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 275-280	If a content bearing physical is an instance of policy document, then there exists a proposition such that the content bearing physical contains information the proposition and the proposition has an attribute policy
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 1264-1274	If a content bearing physical is an instance of OutOfPolicyAccom, then there exist an organization, a policy,, , a proposition and another proposition such that the organization is an instance of organization and the policy is an instance of policy and the organization enacts policy the policy and the policy contains information the proposition and the content bearing physical contains information the other proposition and the other proposition is not a consistent of the proposition

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