(=>
(instance ?F FlatWhite)
(and
(material MilkFoam ?F)
(material Espresso ?F))) |
Food.kif 1344-1348 |
|
(=>
(instance ?G Gland)
(material EpithelialTissue ?G)) |
Merge.kif 15372-15374 |
|
(=>
(instance ?I ResistorElement)
(exists (?S)
(and
(subclass ?S InsulatorSubstance)
(material ?S ?I)))) |
engineering.kif 1168-1173 |
|
(=>
(instance ?IRON FabricIron)
(exists (?BASE)
(and
(bottom ?BASE ?IRON)
(material Metal ?BASE)
(attribute ?BASE Flat)))) |
Mid-level-ontology.kif 26851-26857 |
|
(=>
(instance ?K Ketchup)
(material Tomato ?K)) |
Food.kif 2622-2624 |
|
(=>
(instance ?L Latte)
(and
(material MilkFoam ?L)
(material Espresso ?L))) |
Food.kif 1394-1398 |
|
(=>
(instance ?L Liqueur)
(material Sugar ?L)) |
Food.kif 2651-2653 |
|
(=>
(instance ?L LongBlack)
(and
(material Espresso ?L)
(material DrinkingWater ?L))) |
Food.kif 1424-1428 |
|
(=>
(instance ?LAWB LeadAcidWetBattery)
(material ChemicalAcid ?LAWB)) |
Cars.kif 2445-2447 |
|
(=>
(instance ?LAWB LeadAcidWetBattery)
(material Lead ?LAWB)) |
Cars.kif 2441-2443 |
|
(=>
(instance ?LAWB LeadAcidWetBattery)
(material PurifiedWater ?LAWB)) |
Cars.kif 2449-2451 |
|
(=>
(instance ?M Mayonnaise)
(and
(material Oil ?M)
(material EggYolk ?M))) |
Food.kif 2671-2675 |
|
(=>
(instance ?M Muscle)
(material MuscleTissue Muscle)) |
Merge.kif 15384-15386 |
|
(=>
(instance ?NC NerveCell)
(material NervousTissue ?NC)) |
Merge.kif 15397-15399 |
|
(=>
(instance ?O Omelette)
(material Egg ?O)) |
Food.kif 2715-2717 |
|
(=>
(instance ?O Opium)
(material Morphine ?O)) |
Medicine.kif 6203-6205 |
|
(=>
(instance ?OBJ CorpuscularObject)
(exists (?SUBSTANCE1 ?SUBSTANCE2)
(and
(subclass ?SUBSTANCE1 Substance)
(subclass ?SUBSTANCE2 Substance)
(material ?SUBSTANCE1 ?OBJ)
(material ?SUBSTANCE2 ?OBJ)
(not
(equal ?SUBSTANCE1 ?SUBSTANCE2))))) |
Merge.kif 1241-1249 |
|
(=>
(instance ?OBJ OpticalDisc)
(material Plastic ?OBJ)) |
Media.kif 1139-1141 |
|
(=>
(instance ?OBJ OpticalDisc)
(or
(material Gold ?OBJ)
(material Aluminum ?OBJ))) |
Media.kif 1143-1147 |
|
(=>
(instance ?P Pasta)
(material WheatFlour ?P)) |
Food.kif 2751-2753 |
|
(=>
(instance ?PLANER Planer)
(hasPurpose ?PLANER
(exists (?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2)
(and
(instance ?CUT Cutting)
(instrument ?CUT ?PLANER)
(resource ?CUT ?OBJ1)
(instance ?OBJ1 Object)
(material ?OBJ1 Wood)
(result ?CUT ?OBJ2)
(instance ?OBJ2 Object)
(material Wood ?OBJ2)
(attribute ?OBJ2 Flat)
(instance ?U UnitOfLength)
(height ?OBJ1
(MeasureFn ?H1 ?U))
(height ?OBJ2
(MeasureFn ?H2 ?U))
(greaterThan ?H1 ?H2))))) |
Economy.kif 6415-6434 |
- If a physical is an instance of planer,
- then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of cutting and the physical is an instrument for the entity and the other entity is a resource for the entity and the other entity is an instance of object and wood is made of the other entity and the third entity is a result of the entity and the third entity is an instance of object and the third entity is made of wood and flat is an attribute of the third entity and the fourth entity is an instance of unit of length and the height of the other entity is the fifth entity the fourth entity(s) and the height of the third entity is the sixth entity the fourth entity(s) and the fifth entity is greater than the sixth entity
|
(=>
(instance ?RV8 RoverV8Engine)
(material Aluminum ?RV8)) |
Cars.kif 4783-4785 |
|
(=>
(instance ?S Sorbet)
(material DrinkingWater ?S)) |
Food.kif 3451-3453 |
|
(=>
(instance ?S Sorbet)
(material Fruit ?S)) |
Food.kif 3455-3457 |
|
(=>
(instance ?S Sorbet)
(material Sugar ?S)) |
Food.kif 3459-3461 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |