(=>
(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 22256-22265 |
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 22267-22275 |
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 27656-27664 |
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 33043-33046 |
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 5146-5155 |
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 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 |
(=>
(and
(instance ?POLICY PetsAllowedPolicy)
(policyLocationCoverage ?POLICY ?LOC)
(policyOwner ?AGENT ?POLICY))
(confersNorm ?AGENT Permission
(exists (?PET)
(and
(instance ?PET DomesticAnimal)
(located ?PET ?LOC))))) |
Hotel.kif 2579-2588 |
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 2595-2604 |
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 |
ReverseFn
