consequent

(=>     (and         (instance ?POLICY NoPetsPolicy)         (policyLocationCoverage ?POLICY ?LOC)         (policyOwner ?AGENT ?POLICY))     (deprivesNorm ?AGENT         (exists (?PET)             (and                 (instance ?PET DomesticAnimal)                 (located ?PET ?LOC))) Permission))	Hotel.kif 2588-2597	If a Policy is an instance of NoPetsPolicy and policyLocationCoverage the Policy and an object and policyOwner an organization and the Policy, then deprivesNorm the organization, there exists an entity such that the entity is an instance of DomesticAnimal and the entity is located at the object and Permission
(=>     (and         (instance ?POLICY PetPolicy)         (policyLocationCoverage ?POLICY ?LOC))     (or         (containsInformation ?POLICY             (modalAttribute                 (exists (?PET1)                     (and                         (instance ?PET1 DomesticAnimal)                         (located ?PET1 ?LOC))) Permission))         (containsInformation ?POLICY             (modalAttribute                 (exists (?PET2)                     (and                         (instance ?PET2 DomesticAnimal)                         (located ?PET2 ?LOC))) Prohibition))))	Hotel.kif 2523-2539	If a Policy is an instance of PetPolicy and policyLocationCoverage the Policy and an object, then the Policy contains information the statement there exists an entity such that the entity is an instance of DomesticAnimal and the entity is located at the object has the modal force of Permission or the Policy contains information the statement there exists another entity such that the other entity is an instance of DomesticAnimal and the other entity is located at the object has the modal force of Prohibition
(=>     (and         (instance ?POLICY PetsAllowedPolicy)         (policyLocationCoverage ?POLICY ?LOC)         (policyOwner ?AGENT ?POLICY))     (confersNorm ?AGENT         (exists (?PET)             (and                 (instance ?PET DomesticAnimal)                 (located ?PET ?LOC))) Permission))	Hotel.kif 2572-2581	If a Policy is an instance of PetsAllowedPolicy and policyLocationCoverage the Policy and an object and policyOwner an organization and the Policy, then confersNorm the organization, there exists an entity such that the entity is an instance of DomesticAnimal and the entity is located at the object and Permission
(=>     (and         (instance ?W Wagon)         (instance ?T Transportation)         (instrument ?T ?W))     (exists (?P)         (and             (instance ?T Pulling)             (agent ?T ?P)             (patient ?T ?W)             (or                 (instance ?P DomesticAnimal)                 (instance ?P Vehicle)))))	Transportation.kif 1991-2003	If an object is an instance of Wagon and a process is an instance of transportation and the object is an instrument for the process, then there exists an agent such that the process is an instance of Pulling and the agent is an agent of the process and the object is a patient of the process and the agent is an instance of DomesticAnimal or the agent is an instance of Vehicle
(=>     (attribute ?FEED Fodder)     (hasPurpose ?FEED         (exists (?ANIMAL ?EAT)             (and                 (instance ?ANIMAL DomesticAnimal)                 (instance ?EAT Eating)                 (agent ?EAT ?ANIMAL)                 (patient ?EAT ?FEED)))))	Mid-level-ontology.kif 21630-21638	If Fodder is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of DomesticAnimal and the other entity is an instance of eating and the entity is an agent of the other entity and the object is a patient of the other entity
(=>     (attribute ?X Fodder)     (hasPurpose ?X         (exists (?H)             (and                 (instance ?H Harvesting)                 (result ?H ?X)                 (instance ?X OrganicObject)                 (instance ?X                     (FoodForFn DomesticAnimal))))))	Mid-level-ontology.kif 21619-21628	If Fodder is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of Harvesting and the object is a result of the entity and the object is an instance of organic object and the object is an instance of FoodForFn DomesticAnimal
(=>     (attribute ?X ForageCrop)     (hasPurpose ?X         (exists (?A)             (and                 (instance ?A Agriculture)                 (result ?A ?X)                 (instance ?X Plant)                 (instance ?X                     (FoodForFn DomesticAnimal))))))	Economy.kif 5144-5153	If ForageCrop is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of Agriculture and the object is a result of the entity and the object is an instance of plant and the object is an instance of FoodForFn DomesticAnimal
(=>     (habitatOfOrganism ?O ?L)     (not         (subclass ?O DomesticAnimal)))	Mid-level-ontology.kif 32301-32304	If habitatOfOrganism a kind of organism and a geographic area, then a kind of organism is not a subclass of DomesticAnimal
(=>     (instance ?KENNEL Kennel)     (hasPurpose ?KENNEL         (exists (?ANIMAL ?CONFINING)             (and                 (instance ?ANIMAL DomesticAnimal)                 (instance ?CONFINING Confining)                 (patient ?CONFINING ?ANIMAL)                 (eventLocated ?CONFINING ?KENNEL)))))	Mid-level-ontology.kif 27006-27014	If a physical is an instance of Kennel, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of DomesticAnimal and the other entity is an instance of confining and the entity is a patient of the other entity and event located the other entity and the physical

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 3.0 is open source software produced by Articulate Software and its partners