policyOwner - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25005-25005
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25008-25008	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 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.	Mid-level-ontology.kif 25004-25004	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 1044-1044
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25006-25006	"policy owner" is the printable form of policy owner in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 869-884	If a process is an instance of BusinessTrip and a service is an instance of AccommodationService and the service is a subprocess of the process and a policy is an instance of TravelPolicy and a cognitive agent is an agent of the process and an organization employs the cognitive agent and the organization enacts policy the policy and a formula issued by the organization in the policy is a obligation, then there exists another cognitive agent such that the cognitive agent receives a service during the service and the other cognitive agent provides a service during the service and the other cognitive agent is an instance of Hotel-Organization and an agent believes the other cognitive agent is favorite
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 887-902	If a process is an instance of BusinessTrip and a service is an instance of AccommodationService and the service is a subprocess of the process and a policy is an instance of TravelPolicy and a cognitive agent is an agent of the process and an organization employs the cognitive agent and the organization enacts policy the policy and a formula issued by the organization in the policy is a obligation, then there exists another cognitive agent such that the cognitive agent receives a service during the service and the other cognitive agent provides a service during the service and the other cognitive agent is an instance of HotelChain and an agent believes an entity is favorite
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 980-995	If a process is an instance of BusinessTrip and a service is an instance of AccommodationService and the service is a subprocess of the process and a policy is an instance of TravelPolicy and a cognitive agent is an agent of the process and an organization employs the cognitive agent and the organization enacts policy the policy and a formula issued by the organization in the policy is a obligation, then there exists another cognitive agent such that the cognitive agent receives a service during the service and the other cognitive agent provides a service during the service and PrivateRate is an attribute of the other cognitive agent and the other cognitive agent is an instance of Hotel-Organization
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 1106-1124	If a process is an instance of BusinessTrip and a service is an instance of AccommodationService and the service is a subprocess of the process and a policy is an instance of TravelPolicy and a cognitive agent is an agent of the process and an organization employs the cognitive agent and the organization enacts policy the policy and a formula issued by the organization in the policy is a prohibition, then there exist another cognitive agent and an object such that the cognitive agent receives a service during the service and the other cognitive agent provides a service during the service and the object is used in the service and the other cognitive agent is an instance of Hotel-Organization and the object is an instance of hotel room and SuiteRoom is not an attribute of the object
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 1179-1194	If a process is an instance of BusinessTrip and a service is an instance of AccommodationService and the service is a subprocess of the process and a policy is an instance of TravelPolicy and a cognitive agent is an agent of the process and an organization employs the cognitive agent and the organization enacts policy the policy and the cognitive agent receives a service during the service and another cognitive agent provides a service during the service and a kind of physical is used in the service and a formula issued by the organization in the policy is a prohibition and the price of a kind of physical set by the other cognitive agent according to a pricing scheme is a function quantity, then the function quantity is not greater than 1000 united states dollar(s)
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 946-955	If an object is an instance of Hotel-Organization and an organization is an instance of organization and a policy is an instance of TravelPolicy and the organization enacts policy the policy, then PrivateRate is an attribute of the object or PrivateRate is not an attribute of the object
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 1156-1174	If an organization is an instance of organization and a policy is an instance of TravelPolicy and the organization enacts policy the policy, then there exists an entity such that if a process is an instance of AccommodationService, then there exist another process, a cognitive agent,, , a function quantity and a kind of physical such that the other process is an instance of ordering and the organization is an agent of the other process and the cognitive agent is an agent of the process and traveler accommodation is an attribute of the cognitive agent and the cognitive agent is an instance of Hotel-Organization and a kind of physical is an instance of hotel room and the price of the kind of physical set by the cognitive agent according to a pricing scheme is the function quantity and the function quantity is greater than 1000 united states dollar(s) issued by the organization in the policy is a prohibition
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 1084-1101	If an organization is an instance of organization and a policy is an instance of TravelPolicy and the organization enacts policy the policy, then there exists an entity such that if a service is an instance of AccommodationService, then there exist a process, a cognitive agent and an object such that the process is an instance of ordering and the organization is an agent of the process and the cognitive agent provides a service during the service and the object is used in the service and traveler accommodation is an attribute of the cognitive agent and the cognitive agent is an instance of Hotel-Organization and SuiteRoom is an attribute of the object issued by the organization in the policy is a prohibition
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 959-975	If an organization is an instance of organization and a policy is an instance of TravelPolicy and the organization enacts policy the policy, then there exists an entity such that if a process is an instance of AccommodationService, then there exist another process and an agent such that the other process is an instance of ordering and the organization is an agent of the other process and the agent is an agent of the process and traveler accommodation is an attribute of the agent and the agent is an instance of Hotel-Organization and PrivateRate is an attribute of the agent issued by the organization in the policy is a obligation
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 808-823	If an organization is an instance of organization and a policy is an instance of TravelPolicy and the organization enacts policy the policy, then there exists an entity such that if a process is an instance of AccommodationService, then there exist another process and an agent such that the other process is an instance of ordering and the organization is an agent of the other process and the agent is an agent of the process and traveler accommodation is an attribute of the agent and the agent is an instance of Hotel-Organization issued by the organization in the policy is a obligation
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 1244-1256	If an organization is an instance of organization and a policy is an instance of TravelPolicy and the organization enacts policy the policy, then there exists an entity such that if another entity is an instance of SingleLegTransportation, then there doesn't exist a third entity such that the third entity is an instance of AccommodationService issued by the organization in the policy is a permission
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 849-861	If an entity is an instance of PreferredChain and an organization is an instance of organization and the organization enacts policy a policy and prefAccomm issued by the organization in the policy is a obligation, then there exists a process such that the process is an instance of ordering and the organization is an agent of the process and a proposition is a patient of the process and the process contains information the proposition and the organization believes the entity is favorite
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 832-844	If an entity is an instance of PreferredHotel and an organization is an instance of organization and the organization enacts policy a policy and prefAccomm issued by the organization in the policy is a obligation, then there exists a process such that the process is an instance of ordering and the organization is an agent of the process and a proposition is a patient of the process and the process contains information the proposition and the organization believes the entity is favorite
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2476-2494	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 a cognitive agent such that the organization is a customer of the cognitive agent and the cognitive agent is an instance of human child has the modal force of possibility or the policy contains information the statement there exists another cognitive agent such that the organization is a customer of the other cognitive agent and the other cognitive agent 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 2595-2615	If a policy is an instance of daily housekeeping and an organization enacts policy the policy, then the statement there exist a human and a temporary residence such that the human is a guest at the organization and the human stays at the temporary residence and a time interval is equal to the time of existence of the human stays at the temporary residence and for all another time interval if the other time interval is an instance of day and the other time interval takes place during the time interval, then there exists a third time interval such that the third time interval is an instance of service and the temporary residence is a patient of the third time interval and the third time interval takes place during the other time interval holds during the time interval has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2567-2576	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 a physical such that the physical is an instance of human child and the physical is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2622-2638	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 a human and a temporary residence such that the human is a guest at the organization and there doesn't exist a process such that the process is an instance of service and the temporary residence is a patient of the process holds during the time of existence of the human stays at the temporary residence has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2518-2527	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 a physical such that the physical is an instance of domestic animal and the physical is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2534-2543	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 a physical such that the physical is an instance of smoking and the physical is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2502-2511	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 a physical such that the physical is an instance of domestic animal and the physical is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2551-2560	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 a physical such that the physical is an instance of smoking and the physical is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2645-2660	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 a human and a temporary residence such that the human is a guest at the organization and there exists a process such that the process is an instance of service and the temporary residence is a patient of the process holds during the time of existence of the human stays at the temporary residence has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 1212-1227	If a policy is an instance of TravelPolicy and an organization enacts policy the policy and a formula issued by the organization in the policy is a obligation, then there exist a service, a cognitive agent,, , a function quantity,, , a kind of physical and a constant quantity such that the service is an instance of AccommodationService and the cognitive agent is an instance of Hotel-Organization and a pricing scheme is an instance of pricing scheme and the cognitive agent provides a service during the service and a kind of physical is used in the service and the price of the kind of physical set by the cognitive agent according to the pricing scheme is the function quantity and the function quantity is not greater than the constant quantity and the constant quantity is equal to per %diem max from the organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25013-25019	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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2583-2588	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 24999-25002	If a policy is an instance of policy, then there exists an organization such that the organization enacts policy the policy
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 1284-1291	If a policy is an instance of TravelPolicy, then there exist an organization, an agent and a process such that the organization enacts policy the policy and the agent represents the organization and the process is an instance of BusinessTrip and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 254-264	If a formula issued by an organization in a policy is a a deontic attribute, then there exist a proposition and a process such that the organization enacts policy the policy and the process is an instance of content development and the formula is a result of the process and the organization is an agent of the process and the formula contains information the proposition and the proposition is a sub-proposition of the policy and the statement the formula has the modal force of the deontic attribute

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

KB Term:			Term intersection

English Word: