|
| (=> (instance ?O Omelette) (exists (?F) (and (instance ?F Frying) (result ?F ?O)))) |
Food.kif 2701-2706 | |
| (=> (instance ?O Orchard) (exists (?A ?T) (and (instance ?A Agriculture) (located ?A ?O) (instance ?T Tree) (result ?A ?T)))) |
Food.kif 3655-3662 | |
| (=> (instance ?O Ossification) (exists (?B) (and (instance ?B Bone) (result ?O ?B)))) |
Mid-level-ontology.kif 11543-11548 | |
| (=> (instance ?OPINION LegalOpinion) (exists (?DECISION ?TEXT ?PROPOSITION) (and (instance ?DECISION LegalDecision) (result ?DECISION ?TEXT) (containsInformation ?TEXT ?PROPOSITION) (conclusion ?PROPOSITION ?OPINION)))) |
Mid-level-ontology.kif 16186-16193 | |
| (=> (instance ?ORD Ordaining) (hasPurpose ?ORD (exists (?X ?ORG ?POS) (and (patient ?ORD ?X) (instance ?X Human) (instance ?ORG ReligiousOrganization) (member ?X ?ORG) (result ?ORD ?POS) (instance ?POS ReligiousPosition) (occupiesPosition ?X ?POS ?ORG))))) |
Biography.kif 132-143 | |
| (=> (instance ?ORDER OperationOrder) (exists (?PLAN ?PLANNING) (and (instance ?PLAN OPLAN) (instance ?PLANNING OperationPlanning) (result ?PLANNING ?PLAN) (causes ?PLANNING ?ORDER) (refers ?PLAN ?ORDER)))) |
MilitaryProcesses.kif 1686-1694 | |
| (=> (instance ?ORGANISM GeneticallyEngineeredOrganism) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?ORGANISM)))) |
WMD.kif 239-244 | |
| (=> (instance ?P AnimalProduct) (exists (?M ?A ?B) (and (instance ?M Manufacture) (result ?M ?P) (patient ?M ?A) (or (instance ?A Animal) (and (part ?B ?A) (instance ?B AnatomicalStructure)))))) |
Economy.kif 5013-5024 | |
| (=> (instance ?P OilPicture) (exists (?O ?PAINTING) (and (instance ?O OilPaint) (instance ?PAINTING Painting) (resource ?PAINTING ?O) (result ?PAINTING ?P)))) |
Mid-level-ontology.kif 3231-3238 | |
| (=> (instance ?P Organification) (exists (?O) (and (instance ?O Organ) (result ?P ?O)))) |
Mid-level-ontology.kif 24033-24038 | |
| (=> (instance ?P Pancake) (exists (?F) (and (instance ?F Frying) (result ?F ?P)))) |
Food.kif 2724-2729 | |
| (=> (instance ?P Pasta) (exists (?D ?C) (and (instance ?D Dough) (instance ?C Cooking) (resource ?C ?D) (result ?C ?P)))) |
Food.kif 2748-2755 | |
| (=> (instance ?P Perspiring) (exists (?S) (and (instance ?S Sweat) (result ?P ?S)))) |
emotion.kif 1482-1487 | |
| (=> (instance ?P PlantProduct) (exists (?M ?A ?B) (and (instance ?M Manufacture) (result ?M ?P) (patient ?M ?A) (or (instance ?A Plant) (and (part ?B ?A) (instance ?B AnatomicalStructure)))))) |
Economy.kif 5191-5202 | |
| (=> (instance ?P Posting) (exists (?POST) (and (instance ?POST DigitalPost) (result ?P ?POST)))) |
ComputerInput.kif 2852-2857 | |
| (=> (instance ?PAINT ArtPainting) (exists (?PICTURE) (and (instance ?PICTURE PaintedPicture) (result ?PAINT ?PICTURE)))) |
Mid-level-ontology.kif 3245-3250 | |
| (=> (instance ?PART BodyPart) (exists (?PROC) (and (instance ?PROC PhysiologicProcess) (result ?PROC ?PART)))) |
Merge.kif 14985-14990 | |
| (=> (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 ?PM ProcessedMilk) (exists (?P ?M) (and (instance ?P IntentionalProcess) (instance ?M CowMilk) (patient ?P ?M) (result ?P ?PM)))) |
Food.kif 2832-2839 | |
| (=> (instance ?PP PaintedPicture) (exists (?PAINT ?PAINTING) (and (instance ?PAINT Paint) (instance ?PAINTING Painting) (resource ?PAINTING ?PAINT) (result ?PAINTING ?PP)))) |
Mid-level-ontology.kif 3099-3106 | |
| (=> (instance ?PRODUCT Product) (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (result ?MANUFACTURE ?PRODUCT)))) |
Merge.kif 15717-15722 | |
| (=> (instance ?PS PricingScheme) (exists (?AGENT ?CREATE) (and (instance ?CREATE Creation) (result ?CREATE ?PS) (agent ?CREATE ?AGENT)))) |
Catalog.kif 189-195 | |
| (=> (instance ?PS ProduceStudies) (exists (?STUDY) (and (result ?PS ?STUDY) (instance ?STUDY Report)))) |
MilitaryProcesses.kif 1233-1238 | |
| (=> (instance ?PUB Brewpub) (exists (?SERVICE ?BEER ?BREW) (and (instance ?BREW Making) (result ?BREW ?BEER) (instance ?BEER Beer) (agent ?BREW ?PUB) (instance ?SERVICE CommercialService) (agent ?SERVICE ?PUB) (instance ?SERVICE Selling) (patient ?SERVICE ?BEER)))) |
Dining.kif 51-62 | |
| (=> (instance ?PW PurifiedWater) (exists (?R ?W ?S) (and (instance ?R Removing) (origin ?R ?W) (instance ?W Water) (patient ?R ?S) (instance ?S Substance) (part ?S ?W) (result ?R ?PW)))) |
Food.kif 248-258 | |
| 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