(=>
(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
(exists (?PET)
(and
(instance ?PET DomesticAnimal)
(located ?PET ?LOC))) Permission)) |
Hotel.kif 2572-2581 |
If X is an instance of pets allowed, X covers Y, and Z enacts policy X, then Z confers norm there exists W such that W is an instance of domestic animal and W is located at Y for permission |
(=>
(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 X is an instance of no pets allowed, X covers Y, and Z enacts policy X, then Z deprives norm there exists W such that W is an instance of domestic animal and W is located at Y for permission |
(=>
(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 22287-22296 |
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 22298-22306 |
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 27734-27742 |
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 33061-33064 |
If X inhabits Y, then X is not a subclass of domestic animal |
(=>
(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 |
