(=>
(instance ?BAKERY Bakery)
(exists (?SERVICE ?FOOD ?BAKE)
(and
(instance ?BAKE Baking)
(result ?BAKE ?FOOD)
(instance ?FOOD
(FoodForFn Human))
(agent ?BAKE ?BAKERY)
(instance ?SERVICE CommercialService)
(agent ?SERVICE ?BAKERY)
(instance ?SERVICE Selling)
(patient ?SERVICE ?FOOD)))) |
Dining.kif 70-81 |
|
(=>
(instance ?BM BestMatchAlgorithm)
(hasPurpose ?BM
(exists (?RESULT)
(and
(instance ?RESULT SRPResults)
(result ?BM ?RESULT))))) |
UXExperimentalTerms.kif 2293-2299 |
|
(=>
(instance ?BRAND Brand)
(exists (?AGENT ?CREATION)
(and
(instance ?CREATION Creation)
(result ?CREATION ?BRAND)
(agent ?CREATION ?AGENT)))) |
Hotel.kif 1293-1299 |
|
(=>
(instance ?C CalendaringProgram)
(hasPurpose ?C
(exists (?T ?P)
(and
(instance ?T CalendarText)
(programRunning ?P ?C)
(result ?P ?T))))) |
ComputingBrands.kif 2320-2327 |
|
(=>
(instance ?C Cappuccino)
(exists (?E ?M ?P)
(and
(instance ?E Espresso)
(instance ?M MilkFoam)
(instance ?P Pouring)
(patient ?P ?M)
(destination ?P ?E)
(result ?P ?C)))) |
Food.kif 1269-1278 |
|
(=>
(instance ?C Carpentry)
(exists (?B ?W)
(and
(instance ?B Building)
(instance ?W Wood)
(part ?W ?B)
(result ?C ?B)))) |
Mid-level-ontology.kif 20819-20826 |
|
(=>
(instance ?C Chromatography)
(exists (?S)
(and
(instance ?S PureSubstance)
(result ?C ?S)))) |
Mid-level-ontology.kif 19684-19689 |
|
(=>
(instance ?C ChurningButter)
(hasPurpose ?C
(exists (?M ?R ?B)
(and
(instance ?M Milk)
(instance ?R Rotating)
(patient ?R ?M)
(result ?R ?B)
(instance ?B Butter))))) |
Food.kif 3065-3074 |
|
(=>
(instance ?C Clot)
(exists (?CL)
(and
(instance ?CL Clotting)
(result ?CL ?C)))) |
Mid-level-ontology.kif 10544-10549 |
|
(=>
(instance ?C Colander)
(hasPurpose ?C
(exists (?MIX ?SUB ?SOLID ?REMOVE)
(and
(instance ?MIX Mixture)
(instance ?SUB Substance)
(part ?SUB ?MIX)
(attribute ?SUB Liquid)
(instance ?REMOVE Removing)
(patient ?REMOVE ?SUB)
(instance ?SOLID Substance)
(part ?SOLID ?MIX)
(attribute ?SOLID Solid)
(result ?REMOVE ?SOLID)
(instrument ?REMOVE ?C))))) |
Mid-level-ontology.kif 4565-4580 |
|
(=>
(instance ?C ComposingMusic)
(exists (?M)
(and
(instance ?M MusicalComposition)
(result ?C ?M)))) |
Mid-level-ontology.kif 3318-3323 |
|
(=>
(instance ?C ContraceptiveDevice)
(hasPurpose ?C
(exists (?M)
(and
(instance ?M Mating)
(patient ?M ?C)
(not
(exists (?SR)
(and
(instance ?SR BiologicalConception)
(result ?M ?SR)))))))) |
Mid-level-ontology.kif 24116-24127 |
|
(=>
(instance ?C Cream)
(exists (?CH ?M)
(and
(instance ?CH Separating)
(patient ?CH ?M)
(instance ?M Milk)
(result ?CH Cream)))) |
Food.kif 3115-3122 |
|
(=>
(instance ?C ElectricCoffeeMaker)
(hasPurpose ?C
(exists (?COFFEE ?M)
(and
(instance ?M CoffeeMaking)
(instrument ?M ?C)
(result ?M ?COFFEE)
(instance ?COFFEE Coffee))))) |
Food.kif 379-387 |
|
(=>
(instance ?CG CoffeeGrind)
(exists (?G ?CB)
(and
(instance ?G Grinding)
(patient ?G ?CB)
(instance ?CB CoffeeBean)
(attribute ?CB CookedAttribute)
(result ?G ?CG)))) |
Food.kif 1034-1042 |
|
(=>
(instance ?CH Charcoal)
(exists (?C ?W)
(and
(instance ?C Combustion)
(instance ?W Wood)
(result ?C ?CH)
(resource ?C ?W)))) |
Cars.kif 1680-1687 |
|
(=>
(instance ?CM CoffeeMaking)
(exists (?C)
(and
(instance ?C Coffee)
(result ?CM ?C)))) |
Food.kif 657-662 |
|
(=>
(instance ?CM CoffeeMaking)
(exists (?R ?LM ?CG ?W ?F ?C)
(and
(subProcess ?R ?CM)
(instance ?R Removing)
(origin ?R ?LM)
(instance ?LM LiquidMixture)
(part ?W ?LM)
(instance ?W DrinkingWater)
(part ?CG ?LM)
(instance ?CG CoffeeGrind)
(instrument ?R ?F)
(instance ?F Filter)
(result ?R ?C)
(instance ?C Coffee)))) |
Food.kif 686-701 |
- If a process is an instance of coffee making,
- then there exist another process, an object,, , another object,, , a third object,, , a fourth object and an entity such that the other process is a subprocess of the process and the other process is an instance of removing and the other process originates at the object and the object is an instance of liquid mixture and the third object is a part of the object and the third object is an instance of potable water and the other object is a part of the object and the other object is an instance of coffee grind and the fourth object is an instrument for the other process and the fourth object is an instance of filter and the entity is a result of the other process and the entity is an instance of coffee
|
(=>
(instance ?CM CurdlingMilk)
(exists (?C ?W)
(and
(result ?CM ?C)
(result ?CM ?W)
(instance ?C Curd)
(instance ?W Whey)))) |
Food.kif 3249-3256 |
|
(=>
(instance ?COMPOUND CompoundSubstance)
(exists (?ELEMENT1 ?ELEMENT2 ?PROCESS)
(and
(instance ?ELEMENT1 ElementalSubstance)
(instance ?ELEMENT2 ElementalSubstance)
(not
(equal ?ELEMENT1 ?ELEMENT2))
(instance ?PROCESS ChemicalSynthesis)
(resource ?PROCESS ?ELEMENT1)
(resource ?PROCESS ?ELEMENT2)
(result ?PROCESS ?COMPOUND)))) |
Merge.kif 12581-12591 |
|
(=>
(instance ?COOK Cooking)
(exists (?FOOD)
(and
(instance ?FOOD
(FoodForFn Human))
(result ?COOK ?FOOD)))) |
Merge.kif 12913-12918 |
|
(=>
(instance ?CP ComputerProgramming)
(exists (?C)
(and
(instance ?C ComputerProgram)
(result ?CP ?C)))) |
Merge.kif 16862-16867 |
|
(=>
(instance ?CTRL TemperatureControl)
(exists (?DEVICE ?TEMP)
(and
(instance ?DEVICE ElectricDevice)
(part ?CTRL ?DEVICE)
(hasPurpose ?DEVICE
(exists (?PROC ?AREA)
(and
(instance ?AREA Region)
(instance ?PROC Process)
(instrument ?PROC ?CTRL)
(result ?PROC
(airTemperature ?AREA ?TEMP)))))))) |
engineering.kif 1139-1151 |
|
(=>
(instance ?Canyon Canyon)
(exists (?Erosion)
(and
(instance ?Erosion Erosion)
(result ?Erosion ?Canyon)))) |
Geography.kif 4267-4272 |
|
(=>
(instance ?Cave Cave)
(exists (?Erosion)
(and
(instance ?Erosion Erosion)
(result ?Erosion ?Cave)))) |
Geography.kif 6020-6025 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |