|
| (=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject)))) |
Mid-level-ontology.kif 19655-19663 | |
| (=> (and (instance ?H Harvesting) (result ?H ?X) (instance ?X Herb)) (attribute ?X Produce)) |
Food.kif 2166-2171 | |
| (=> (and (instance ?HELPING Helping) (agent ?HELPING ?AGENT) (result ?HELPING ?RESULT)) (exists (?PATIENT) (and (not (equal ?AGENT ?PATIENT)) (or (patient ?HELPING ?PATIENT) (experiencer ?HELPING ?PATIENT)) (wants ?PATIENT ?RESULT)))) |
MilitaryProcesses.kif 1419-1431 | |
| (=> (and (instance ?IC IgnitionCoil) (instance ?P ElectricTransmission) (resource ?P ?E1) (instance ?E1 Electricity) (instance ?E2 Electricity) (result ?P ?E2) (instrument ?P ?IC) (measure ?E1 (MeasureFn ?N1 Volt))) (approximateValue ?N1 12)) |
Cars.kif 3216-3226 | |
| (=> (and (instance ?JUDGE Judging) (agent ?JUDGE ?AGENT) (result ?JUDGE ?P)) (and (holdsDuring (BeginFn (WhenFn ?JUDGE)) (not (believes ?AGENT ?P))) (holdsDuring (EndFn (WhenFn ?JUDGE)) (believes ?AGENT ?P)))) |
Merge.kif 12242-12256 | |
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?C) (instance ?C Clock)) (instance ?Q TimeMeasure)) |
Mid-level-ontology.kif 3349-3355 | |
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure)) |
Mid-level-ontology.kif 3385-3391 | |
| (=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?THERMOMETER) (instance ?THERMOMETER Thermometer)) (instance ?QUANTITY TemperatureMeasure)) |
Mid-level-ontology.kif 3373-3379 | |
| (=> (and (instance ?ORDER Ordering) (result ?ORDER ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Order)) |
Mid-level-ontology.kif 15658-15663 | |
| (=> (and (instance ?P ForestProduct) (instance ?M Manufacture) (result ?M ?P) (patient ?M ?X) (instance ?X Organism)) (exists (?A ?F) (and (instance ?A Agriculture) (result ?A ?X) (eventLocated ?A ?F) (instance ?F Forest)))) |
Economy.kif 5551-5563 | |
| (=> (and (instance ?P ThreeDPrinting) (instance ?O Artifact) (result ?P ?O)) (exists (?A ?X ?B ?Y) (and (instance ?A Making) (subProcess ?A ?P) (instance ?X SelfConnectedObject) (part ?X ?O) (result ?A ?X) (instance ?B Making) (subProcess ?B ?P) (instance ?Y SelfConnectedObject) (part ?Y ?O) (overlapsSpatially ?X ?Y) (orientation ?X ?Y Below) (during (WhenFn ?A) (WhenFn ?P)) (during (WhenFn ?B) (WhenFn ?P)) (earlier (WhenFn ?A) (WhenFn ?B))))) |
QoSontology.kif 537-563 |
|
| (=> (and (instance ?PERSON Human) (instance ?WRITE Writing) (or (instance ?TEXT Text) (instance ?TEXT Document)) (result ?WRITE ?TEXT) (agent ?WRITE ?PERSON)) (attribute ?PERSON Writer)) |
Biography.kif 750-759 | |
| (=> (and (instance ?PLAN OperationPlan) (containsInformation ?CBO ?PLAN) (instance ?CBO ContentBearingObject) (result ?EVENT ?CBO)) (instance ?EVENT OperationPlanning)) |
MilitaryProcesses.kif 1535-1541 | |
| (=> (and (instance ?PLAN OperationPlan) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PLAN) (instance ?OP MilitaryOperation) (result ?OP ?CBO)) (represents ?PLAN ?OP)) |
MilitaryProcesses.kif 1573-1580 | |
| (=> (and (instance ?PLANNING JointOperationPlanning) (result ?PLANNING ?CBO) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?INFO)) (instance ?INFO OPLAN)) |
MilitaryProcesses.kif 1812-1818 | |
| (=> (and (instance ?PROC ChemicalProcess) (or (resource ?PROC ?STUFF) (result ?PROC ?STUFF))) (instance ?STUFF PureSubstance)) |
Merge.kif 12668-12674 | |
| (=> (and (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (exists (?O ?A ?A1 ?A2) (and (instance ?O Offering) (instance ?A ReachingAgreement) (refers ?O ?AG) (refers ?A ?AG) (agent ?O ?A1) (agent ?A ?A2) (earlier (WhenFn ?O) (WhenFn ?A))))) |
Law.kif 532-546 |
|
| (=> (and (instance ?PROCESS Separating) (resource ?PROCESS ?SOURCE) (result ?PROCESS ?PRODUCT) (instance ?PRODUCT Iron)) (instance ?SOURCE IronOre)) |
Economy.kif 5971-5977 | |
| (=> (and (instance ?QUESTION Questioning) (result ?QUESTION ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Question)) |
Mid-level-ontology.kif 15625-15630 | |
| (=> (and (instance ?R Ruler) (instance ?M Measuring) (instrument ?M ?R) (instance ?LE LinearExtent) (result ?M ?LE)) (lessThan ?LE (MeasureFn 10.0 Meter))) |
Mid-level-ontology.kif 33827-33834 | |
| (=> (and (instance ?RA ReachingAgreement) (agent ?RA ?AGENT) (result ?RA ?PROP) (instance ?PROP Agreement)) (holdsDuring (FutureFn (WhenFn ?RA)) (partyToAgreement ?AGENT ?PROP))) |
Media.kif 153-160 | |
| (=> (and (instance ?REM (DeadFn ?ORGTYPE)) (instance ?DEATH Death) (result ?DEATH ?REM) (experiencer ?DEATH ?ORG)) (instance ?ORG ?ORGTYPE)) |
Mid-level-ontology.kif 114-120 | |
| (=> (and (instance ?REM OrganicObject) (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG) (result ?DEATH ?REM)) (instance ?REM OrganismRemains)) |
Mid-level-ontology.kif 58-65 | |
| (=> (and (instance ?REM OrganismRemains) (instance ?DEATH Death) (experiencer ?DEATH ?ORG) (instance ?ORG ?ORGTYPE) (subclass ?ORGTYPE OrganicObject) (result ?DEATH ?REM)) (instance ?REM (DeadFn ?ORGTYPE))) |
Mid-level-ontology.kif 122-130 | |
| (=> (and (instance ?REP AsexualReproduction) (result ?REP ?ORGANISM) (parent ?ORGANISM ?PARENT1) (parent ?ORGANISM ?PARENT2)) (equal ?PARENT1 ?PARENT2)) |
Merge.kif 10503-10509 | |
| 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