Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PetPolicy

 Sigma KEE - PetPolicy
PetPolicy(pet policy)

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


(subclass PetPolicy Policy) Hotel.kif 2525-2525 Pet policy is a subclass of policy
(documentation PetPolicy EnglishLanguage "PetPolicy indicates where DomesticAnimal is allowed or not in the premises") Hotel.kif 2526-2527 Pet policy is a subclass of policy

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


(termFormat EnglishLanguage PetPolicy "pet policy") Hotel.kif 2528-2528
(subclass PetsAllowedPolicy PetPolicy) Hotel.kif 2574-2574 Pets allowed is a subclass of pet policy
(subclass NoPetsPolicy PetPolicy) Hotel.kif 2590-2590 No pets allowed is a subclass of pet policy

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


(=>
    (and
        (instance ?POLICY PetPolicy)
        (policyLocationCoverage ?POLICY ?LOC))
    (or
        (containsFormula ?POLICY
            (modalAttribute
                (exists (?PET1)
                    (and
                        (instance ?PET1 DomesticAnimal)
                        (located ?PET1 ?LOC))) Permission))
        (containsFormula ?POLICY
            (modalAttribute
                (exists (?PET2)
                    (and
                        (instance ?PET2 DomesticAnimal)
                        (located ?PET2 ?LOC))) Prohibition))))		 Hotel.kif 2530-2546 If X is an instance of pet policy and X covers Y, then X contains the formula the statement there exists Z such that Z is an instance of domestic animal and Z is located at Y has the modal force of permission or X contains the formula the statement there exists W such that W is an instance of domestic animal and W is located at Y has the modal force of prohibition


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners