(=>
(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 22312-22321 |
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 22323-22331 |
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 27752-27760 |
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 33094-33097 |
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
(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 X is an instance of pet policy and X covers Y, then X contains information 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 information 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 2572-2581 |
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 2588-2597 |
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 |
