|
| (=> (instance ?G Gland) (material EpithelialTissue ?G)) |
Merge.kif 15265-15267 | |
| (=> (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 25246-25252 | |
| (=> (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 2444-2446 | |
| (=> (instance ?LAWB LeadAcidWetBattery) (material Lead ?LAWB)) |
Cars.kif 2440-2442 | |
| (=> (instance ?LAWB LeadAcidWetBattery) (material PurifiedWater ?LAWB)) |
Cars.kif 2448-2450 | |
| (=> (instance ?M Mayonnaise) (and (material Oil ?M) (material EggYolk ?M))) |
Food.kif 2664-2668 | |
| (=> (instance ?M Muscle) (material MuscleTissue Muscle)) |
Merge.kif 15277-15279 | |
| (=> (instance ?NC NerveCell) (material NervousTissue ?NC)) |
Merge.kif 15290-15292 | |
| (=> (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 | |
| (=> (instance ?RV8 RoverV8Engine) (material Aluminum ?RV8)) |
Cars.kif 4707-4709 | |
| (=> (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 3648-3650 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners