|
| (=> (and (instance ?EV Evacuation) (origin ?EV ?OR) (destination ?EV ?D)) (exists (?L) (and (instance ?L Translocation) (subProcess ?L ?EV) (destination ?L ?D) (origin ?L ?OR)))) |
MilitaryProcesses.kif 2535-2545 | |
| (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (origin ?EXPORT ?AREA)) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) |
Economy.kif 2652-2659 | |
| (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (origin ?EXPORT ?AREA1) (instance ?AREA2 GeopoliticalArea) (destination ?EXPORT ?AREA2)) (not (equal ?AREA1 ?AREA2))) |
Economy.kif 2708-2716 | |
| (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (origin ?EXPORT ?AREA1) (instance ?AREA2 GeopoliticalArea) (destination ?EXPORT ?AREA2)) (not (located ?AREA2 ?AREA1))) |
Economy.kif 2718-2726 | |
| (=> (and (instance ?FALL Waterfall) (instance ?CURRENT WaterMotion) (flowCurrent ?CURRENT ?FALL) (origin ?CURRENT ?TOP) (destination ?CURRENT ?BOTTOM) (instance ?TOP WaterArea) (instance ?BOTTOM WaterArea)) (orientation ?TOP ?BOTTOM Above)) |
Geography.kif 5694-5703 | |
| (=> (and (instance ?FILTER AbsoluteFilter) (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (patient ?REMOVE ?PARTICLE) (attribute ?PARTICLE Solid) (instrument ?REMOVE ?FILTER)) (not (part ?PARTICLE ?GAS))) |
MilitaryDevices.kif 1536-1546 | |
| (=> (and (instance ?FL FlashingLight) (origin ?FL ?L)) (exists (?I1 ?T2 ?I3) (and (instance ?I1 RadiatingLight) (instance ?T2 TimeInterval) (instance ?I3 RadiatingLight) (meetsTemporally (WhenFn ?I1) ?T2) (meetsTemporally ?T2 (WhenFn ?I3)) (not (exists (?I2) (and (instance ?I2 RadiatingLight) (origin ?I2 ?L) (during (WhenFn ?I2) ?T2)))) (subProcess ?I1 ?FL) (subProcess ?I3 ?FL)))) |
Mid-level-ontology.kif 636-654 | |
| (=> (and (instance ?FP FuelPump) (instance ?A Automobile) (part ?FP ?A) (instance ?T Transportation) (instance ?F Fuel) (patient ?T ?F) (instrument ?F ?FP) (instance ?GT GasTank) (part ?GT ?A) (instance ?EC EngineCylinder) (part ?EC ?A) (origin ?T ?GT) (destination ?T ?EC) (path ?T ?P)) (hasPurpose ?T (exists (?FF) (and (instance ?FF FuelFilter) (betweenOnPath ?GT ?FF ?EC ?P))))) |
Cars.kif 1070-1090 | |
| (=> (and (instance ?IMPORT Importing) (instance ?AREA1 GeopoliticalArea) (origin ?IMPORT ?AREA1) (instance ?AREA2 GeopoliticalArea) (destination ?IMPORT ?AREA2)) (not (equal ?AREA1 ?AREA2))) |
Economy.kif 2878-2886 | |
| (=> (and (instance ?IMPORT Importing) (instance ?AREA1 GeopoliticalArea) (origin ?IMPORT ?AREA1) (instance ?AREA2 GeopoliticalArea) (destination ?IMPORT ?AREA2)) (not (located ?AREA2 ?AREA1))) |
Economy.kif 2887-2895 | |
| (=> (and (instance ?INHERIT Inheriting) (agent ?INHERIT ?HEIR) (origin ?INHERIT ?PERSON) (patient ?INHERIT ?PROPERTY)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (earlier (WhenFn ?DEATH) (WhenFn ?INHERIT)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (possesses ?PERSON ?PROPERTY)) (confersRight (possesses ?HEIR ?PROPERTY) ?PERSON ?HEIR)))) |
Mid-level-ontology.kif 20192-20210 | |
| (=> (and (instance ?L CloudToCloudLightning) (instance ?A WaterCloud) (origin ?L ?A) (destination ?L ?B) (instance ?B WaterCloud)) (not (equal ?A ?B))) |
Weather.kif 990-998 | |
| (=> (and (instance ?L IntraCloudLightning) (instance ?C WaterCloud) (origin ?L ?A) (part ?A ?C)) (exists (?B) (and (part ?B ?C) (not (equal ?A ?B)) (destination ?L ?B)))) |
Weather.kif 972-983 | |
| (=> (and (instance ?L LightningStrike) (instance ?A WaterCloud) (origin ?L ?A) (destination ?L ?G)) (instance ?G GeographicArea)) |
Weather.kif 1005-1011 | |
| (=> (and (instance ?MOTION Motion) (moves ?MOTION ?OBJ) (origin ?MOTION ?PLACE)) (holdsDuring (BeginFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE))) |
Merge.kif 11159-11164 | |
| (=> (and (instance ?MOVEMENT Translocation) (origin ?MOVEMENT ?PLACE1)) (exists (?PLACE2 ?STAGE) (and (instance ?PLACE2 Region) (not (equal ?PLACE1 ?PLACE2)) (subProcess ?STAGE ?MOVEMENT) (located ?STAGE ?PLACE2)))) |
Merge.kif 11693-11702 | |
| (=> (and (instance ?MTP MovingAwayFromPeople) (origin ?MTP ?O) (destination ?MTP ?D)) (not (equal ?O ?D))) |
emotion.kif 1385-1391 | |
| (=> (and (instance ?MTP MovingTowardsPeople) (origin ?MTP ?O) (destination ?MTP ?D)) (not (equal ?O ?D))) |
emotion.kif 1419-1425 | |
| (=> (and (instance ?OF OccludedFront) (instance ?C AirMass) (origin ?OF ?C) (airTemperature ?C (MeasureFn ?X CelsiusDegree)) (instance ?W AirMass) (airTemperature ?W (MeasureFn ?Y CelsiusDegree)) (lessThan ?X ?Y) (moves ?OF ?W)) (orientation ?C ?W Below)) |
Weather.kif 900-912 | |
| (=> (and (instance ?P Pulling) (origin ?P ?O) (agent ?P ?A) (holdsDuring (BeginFn ?P) (located ?A ?ALOC)) (destination ?P ?D)) (holdsDuring (ImmediateFutureFn (BeginFn ?P)) (exists (?LARGER ?U ?SMALLER) (and (distance ?ALOC ?D (MeasureFn ?SMALLER ?U)) (distance ?ALOC ?O (MeasureFn ?LARGER ?U)) (greaterThan ?LARGER ?SMALLER))))) |
Mid-level-ontology.kif 19189-19207 | |
| (=> (and (instance ?P Pushing) (origin ?P ?O) (agent ?P ?A) (holdsDuring (BeginFn ?P) (located ?A ?ALOC)) (destination ?P ?D)) (holdsDuring (ImmediateFutureFn (BeginFn ?P)) (exists (?LARGER ?U ?SMALLER) (and (distance ?ALOC ?D (MeasureFn ?SMALLER ?U)) (distance ?ALOC ?O (MeasureFn ?LARGER ?U)) (greaterThan ?LARGER ?SMALLER))))) |
Mid-level-ontology.kif 19167-19185 | |
| (=> (and (instance ?Payment Payment) (origin ?Payment (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (transactionAmount ?Payment (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Payment)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (WhenFn ?Payment)) (MeasureFn ?Balance2 ?CUNIT))) |
FinancialOntology.kif 410-426 | |
| (=> (and (instance ?REMOVE Removing) (origin ?REMOVE ?PLACE) (patient ?REMOVE ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?REMOVE)) (located ?OBJ ?PLACE)) (holdsDuring (EndFn (WhenFn ?REMOVE)) (not (located ?OBJ ?PLACE))))) |
Merge.kif 11519-11526 | |
| (=> (and (instance ?REPAYMENT Repayment) (instance ?REPAYMENT_DESTINATION Object) (destination ?REPAYMENT ?REPAYMENT_DESTINATION) (instance ?REPAYMENT_ORIGIN Object) (origin ?REPAYMENT ?REPAYMENT_ORIGIN)) (exists (?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION) (and (instance ?PAYMENT Payment) (instance ?PAYMENT_ORIGIN Object) (instance ?PAYMENT_DESTINATION Object) (not (equal ?PAYMENT ?REPAYMENT)) (destination ?PAYMENT ?PAYMENT_DESTINATION) (origin ?PAYMENT ?PAYMENT_ORIGIN) (equal ?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION) (equal ?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN)))) |
UXExperimentalTerms.kif 1883-1900 | |
| (=> (and (instance ?S SeizingProperty) (destination ?S ?A) (origin ?S ?V) (instance ?V CognitiveAgent)) (and (instance ?A Government) (not (confersNorm ?V (destination ?S ?A) Permission)))) |
Mid-level-ontology.kif 20272-20283 | |
| 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