Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Policy
Policy

appearance as argument number 1
-------------------------


(documentation Policy 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 25435-25436
(subclass Policy Proposition) Mid-level-ontology.kif 25439-25439 Policy命题subclass

appearance as argument number 2
-------------------------


(subclass ChildrenPolicy Policy) Hotel.kif 2476-2476 ChildrenPolicyPolicysubclass
(subclass HousekeepingPolicy Policy) Hotel.kif 2583-2583 HousekeepingPolicyPolicysubclass
(subclass PetPolicy Policy) Hotel.kif 2453-2453 PetPolicyPolicysubclass
(subclass SmokingPolicy Policy) Hotel.kif 2430-2430 SmokingPolicyPolicysubclass
(termFormat EnglishLanguage Policy "policy") Mid-level-ontology.kif 25437-25437

appearance as argument number 3
-------------------------


(domain allRoomsPolicy 2 Policy) Hotel.kif 226-226 allRoomsPolicy 的 2 数量 是 Policyinstance
(domain policyLocationCoverage 1 Policy) Hotel.kif 2427-2427 policyLocationCoverage 的 1 数量 是 Policyinstance
(domain policyOwner 2 Policy) Mid-level-ontology.kif 25455-25455 policyOwner 的 2 数量 是 Policyinstance
(domain pricePolicy 2 Policy) Catalog.kif 246-246 pricePolicy 的 2 数量 是 Policyinstance
(domain propertyPolicy 2 Policy) Hotel.kif 586-586 propertyPolicy 的 2 数量 是 Policyinstance
(domain roomPolicy 2 Policy) Hotel.kif 422-422 roomPolicy 的 2 数量 是 Policyinstance
(domain someRoomsPolicy 2 Policy) Hotel.kif 241-241 someRoomsPolicy 的 2 数量 是 Policyinstance
(domainSubclass policyInclusion 2 Policy) Hotel.kif 2733-2733 policyInclusion 的 2 数量 是 Policysubclass

antecedent
-------------------------


(=>
    (instance ?POLICY Policy)
    (exists (?ORG)
        (policyOwner ?ORG ?POLICY)))
Mid-level-ontology.kif 25445-25448


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