(=>
(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 22306-22315 |
If fodder is an attribute of X, then X has the purpose there exists Y such that Y is an instance of harvesting, X is a result of Y, X is an instance of organic object, and X is an instance of food for domestic animal |
(=>
(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 22317-22325 |
If fodder is an attribute of X, then X has the purpose there exist Y, Z such that Y is an instance of domestic animal, Z is an instance of eating, Y is an agent of Z, and X is a patient of Z |
(=>
(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 27717-27725 |
If X is an instance of kennel, then X has the purpose there exist Y, Z such that Y is an instance of domestic animal, Z is an instance of confining, Y is a patient of Z, and Z is located at X |
(=>
(habitatOfOrganism ?O ?L)
(not
(subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 33045-33048 |
If X inhabits Y, then X is not a subclass of domestic animal |
(=>
(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 forage crop is an attribute of X, then X has the purpose there exists Y such that Y is an instance of agriculture, X is a result of Y, X is an instance of plant, and X is an instance of food for domestic animal |
(=>
(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 2529-2545 |
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 |
(=>
(and
(instance ?POLICY PetsAllowedPolicy)
(policyLocationCoverage ?POLICY ?LOC)
(policyOwner ?AGENT ?POLICY))
(confersNorm ?AGENT Permission
(exists (?PET)
(and
(instance ?PET DomesticAnimal)
(located ?PET ?LOC))))) |
Hotel.kif 2578-2587 |
If X is an instance of pets allowed, X covers Y, and Z enacts policy X, then Z confers norm permission for there exists W such that W is an instance of domestic animal and W is located at Y |
(=>
(and
(instance ?POLICY NoPetsPolicy)
(policyLocationCoverage ?POLICY ?LOC)
(policyOwner ?AGENT ?POLICY))
(deprivesNorm ?AGENT Permission
(exists (?PET)
(and
(instance ?PET DomesticAnimal)
(located ?PET ?LOC))))) |
Hotel.kif 2594-2603 |
If X is an instance of no pets allowed, X covers Y, and Z enacts policy X, then Z deprives norm permission for there exists W such that W is an instance of domestic animal and W is located at Y |
(=>
(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 2007-2019 |
If X is an instance of wagon, Y is an instance of transportation, and X is an instrument for Y, then there exists Z such that Y is an instance of pulling, Z is an agent of Y, X is a patient of Y, and Z is an instance of domestic animal or Z is an instance of vehicle |
