TreeView Knowledge Base Browser

appearance as argument number 1

s__documentation(s__Policy,s__EnglishLanguage,'"Policy is (the contents of) a type of Declaring created and enforced by an Organization such as a government or a business, which contains guiding principles or a plan or course of action adopted by that organization."')

Mid-level-ontology.kif 25871-25873

Mid-level-ontology.kif 25876-25876

appearance as argument number 2

s__instance(s__Policy,s__SetOrClass) s__subclass(s__ChildrenPolicy,s__Policy) s__instance(s__ChildrenPolicy,s__SetOrClass)	Hotel.kif 2490-2490	Children policy is a subclass of policy
s__instance(s__HousekeepingPolicy,s__SetOrClass) s__instance(s__Policy,s__SetOrClass) s__subclass(s__HousekeepingPolicy,s__Policy)	Hotel.kif 2597-2597	Housekeeping policy is a subclass of policy
s__subclass(s__PetPolicy,s__Policy) s__instance(s__Policy,s__SetOrClass) s__instance(s__PetPolicy,s__SetOrClass)	Hotel.kif 2467-2467	Pet policy is a subclass of policy
s__instance(s__SmokingPolicy,s__SetOrClass) s__instance(s__Policy,s__SetOrClass) s__subclass(s__SmokingPolicy,s__Policy)	Hotel.kif 2444-2444	Smoking policy is a subclass of policy
s__termFormat(s__EnglishLanguage,s__Policy,'"policy"')	Mid-level-ontology.kif 25874-25874

appearance as argument number 3

s__domain(s__allRoomsPolicy__m,n__2,s__Policy)	Hotel.kif 226-226	The number 2 argument of room policy in all rooms is an instance of policy
s__domain(s__policyLocationCoverage__m,n__1,s__Policy)	Hotel.kif 2441-2441	The number 1 argument of policyLocationCoverage is an instance of policy
s__domain(s__policyOwner__m,n__2,s__Policy)	Mid-level-ontology.kif 25889-25889	The number 2 argument of policy owner is an instance of policy
s__domain(s__pricePolicy__m,n__2,s__Policy)	Catalog.kif 252-252	The number 2 argument of rate policy is an instance of policy
s__domain(s__propertyPolicy__m,n__2,s__Policy)	Hotel.kif 592-592	The number 2 argument of property policy is an instance of policy
s__domain(s__roomPolicy__m,n__2,s__Policy)	Hotel.kif 426-426	The number 2 argument of room policy is an instance of policy
s__domain(s__someRoomsPolicy__m,n__2,s__Policy)	Hotel.kif 241-241	The number 2 argument of room policy in all rooms is an instance of policy
s__domainSubclass(s__policyInclusion__m,n__2,s__Policy)	Hotel.kif 2747-2747	The number 2 argument of policy inclusion is a subclass of policy

antecedent

( ! [V__POLICY] :
   ((s__instance(V__POLICY,s__Policy) =>
       (( ? [V__ORG] :
           ((s__instance(V__ORG,s__Organization) &
               s__policyOwner(V__ORG,V__POLICY))))))
   )
)

Mid-level-ontology.kif 25878-25881