(=>
(instance ?G Gland)
(material EpithelialTissue ?G)) |
Merge.kif 15219-15221 |
|
(=>
(instance ?I ResistorElement)
(exists (?S)
(and
(subclass ?S InsulatorSubstance)
(material ?S ?I)))) |
engineering.kif 855-860 |
|
(=>
(instance ?IRON FabricIron)
(exists (?BASE)
(and
(bottom ?BASE ?IRON)
(material Metal ?BASE)
(attribute ?BASE Flat)))) |
Mid-level-ontology.kif 25189-25195 |
|
(=>
(instance ?K Ketchup)
(material Tomato ?K)) |
Food.kif 2615-2617 |
|
(=>
(instance ?L Latte)
(and
(material MilkFoam ?L)
(material Espresso ?L))) |
Food.kif 1393-1397 |
|
(=>
(instance ?L Liqueur)
(material Sugar ?L)) |
Food.kif 2644-2646 |
|
(=>
(instance ?L LongBlack)
(and
(material Espresso ?L)
(material DrinkingWater ?L))) |
Food.kif 1423-1427 |
|
(=>
(instance ?LAWB LeadAcidWetBattery)
(material ChemicalAcid ?LAWB)) |
Cars.kif 2461-2463 |
|
(=>
(instance ?LAWB LeadAcidWetBattery)
(material Lead ?LAWB)) |
Cars.kif 2457-2459 |
|
(=>
(instance ?LAWB LeadAcidWetBattery)
(material PurifiedWater ?LAWB)) |
Cars.kif 2465-2467 |
|
(=>
(instance ?M Mayonnaise)
(and
(material Oil ?M)
(material EggYolk ?M))) |
Food.kif 2664-2668 |
|
(=>
(instance ?M Muscle)
(material MuscleTissue Muscle)) |
Merge.kif 15231-15233 |
|
(=>
(instance ?NC NerveCell)
(material NervousTissue ?NC)) |
Merge.kif 15244-15246 |
|
(=>
(instance ?O Omelette)
(material Egg ?O)) |
Food.kif 2708-2710 |
|
(=>
(instance ?O Opium)
(exists (?M)
(and
(instance ?M Morphine)
(material ?M ?O)))) |
Medicine.kif 6186-6191 |
|
(=>
(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 1231-1239 |
|
(=>
(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 2744-2746 |
|
(=>
(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 6017-6036 |
- 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 4722-4724 |
|
(=>
(instance ?S Sorbet)
(material DrinkingWater ?S)) |
Food.kif 3444-3446 |
|
(=>
(instance ?S Sorbet)
(material Fruit ?S)) |
Food.kif 3448-3450 |
|
(=>
(instance ?S Sorbet)
(material Sugar ?S)) |
Food.kif 3452-3454 |
|
(=>
(instance ?S String)
(material Fabric ?S)) |
Mid-level-ontology.kif 3655-3657 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |