(=>     (and         (instance ?C Carabiner)         (holdsDuring ?T             (attribute ?C DeviceClosed)))     (holdsDuring ?T         (modalAttribute             (exists (?R)                 (and                     (instance ?R ClimbingRope)                     (contains ?C ?R))) Possibility)))	Mid-level-ontology.kif 30815-30826
(=>     (and         (instance ?C Carabiner)         (holdsDuring ?T             (attribute ?C DeviceOpen)))     (holdsDuring ?T         (not             (attribute ?C RingTorus))))	Mid-level-ontology.kif 30828-30835
(=>     (and         (instance ?C CheckingVitals)         (agent ?C ?A)         (patient ?C ?P)         (instance ?H Heart)         (part ?H ?P)         (instance ?L Lung)         (part ?L ?P)         (holdsDuring             (WhenFn ?C)             (and                 (systolicBloodPressure ?P ?SYS)                 (diastolicBloodPressure ?P ?DIA)                 (measure ?P                     (MeasureFn ?T FahrenheitDegree))))         (heartRate ?H             (WhenFn ?C) ?I)         (breathingRate ?L             (WhenFn ?C) ?R))     (knows ?A         (and             (holdsDuring                 (WhenFn ?C)                 (and                     (systolicBloodPressure ?P ?SYS)                     (diastolicBloodPressure ?P ?DIA)                     (measure ?P                         (MeasureFn ?T FahrenheitDegree))))             (heartRate ?H                 (WhenFn ?C) ?I)             (breathingRate ?L                 (WhenFn ?C) ?R))))	Medicine.kif 6505-6529
(=>     (and         (instance ?CA COVIDAntibody)         (holdsDuring ?T             (and                 (not                     (attribute ?H Covid19))                 (part ?CA ?H))))     (holdsDuring         (ImmediateFutureFn ?T)         (modalAttribute             (attribute ?H Covid19) Unlikely)))	Medicine.kif 2784-2796
(=>     (and         (instance ?CHANGE ChangeOfPossession)         (patient ?CHANGE ?OBJ)         (holdsDuring             (BeginFn                 (WhenFn ?CHANGE))             (possesses ?AGENT1 ?OBJ))         (holdsDuring             (EndFn                 (WhenFn ?CHANGE))             (possesses ?AGENT2 ?OBJ)))     (not         (equal ?AGENT1 ?AGENT2)))	Merge.kif 11647-11654
(=>     (and         (instance ?CHILD Human)         (holdsDuring ?TIME             (attribute ?CHILD NonFullyFormed)))     (holdsDuring ?TIME         (instance ?CHILD HumanYouth)))	Mid-level-ontology.kif 286-292
(=>     (and         (instance ?CLOTHING OutdoorClothing)         (holdsDuring ?TIME             (wears ?PERSON ?CLOTHING)))     (not         (exists (?BUILDING)             (and                 (instance ?BUILDING Building)                 (holdsDuring ?TIME                     (located ?PERSON ?BUILDING))))))	Mid-level-ontology.kif 5043-5051
(=>     (and         (instance ?Compression DataCompression)         (dataProcessed ?Compression ?Data)         (holdsDuring             (ImmediatePastFn                 (WhenFn ?Compression))             (memorySize ?Data                 (MeasureFn ?Memory ?Measure)))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?Compression))             (memorySize ?Data                 (MeasureFn ?NewMemory ?Measure))))     (lessThan ?NewMemory ?Memory))	QoSontology.kif 1926-1940
(=>     (and         (instance ?D DeletingAnAccount)         (instance ?AC Account)         (holdsDuring             (ImmediatePastFn                 (WhenFn ?D))             (hasAccount ?A ?AC))         (patient ?D ?AC)         (agent ?D ?A))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?D))         (not             (hasAccount ?A ?AC))))	ComputingBrands.kif 4566-4576
(=>     (and         (instance ?D Detaching)         (patient ?D ?O1)         (patient ?D ?O2)         (holdsDuring             (BeginFn                 (WhenFn ?D))             (connected ?O1 ?O2))         (holdsDuring             (EndFn                 (WhenFn ?A))             (not                 (connected ?O1 ?O2))))     (and         (objectDetached ?A ?O1)         (objectDetached ?A ?O2)))	Merge.kif 12431-12440
(=>     (and         (instance ?DEATH Death)         (instance ?REM OrganismRemains)         (instance ?ORG Organism)         (holdsDuring ?T2             (part ?OBJ ?REM))         (holdsDuring ?T1             (part ?OBJ ?ORG))         (earlier ?T1 ?T2)         (experiencer ?DEATH ?ORG))     (result ?DEATH ?REM))	Mid-level-ontology.kif 85-94
(=>     (and         (instance ?DEATH Death)         (instance ?REM OrganismRemains)         (instance ?ORG Organism)         (holdsDuring ?T2             (part ?OBJ ?REM))         (holdsDuring ?T1             (part ?OBJ ?ORG))         (earlier ?T1 ?T2)         (result ?DEATH ?REM))     (experiencer ?DEATH ?ORG))	Mid-level-ontology.kif 74-83
(=>     (and         (instance ?DEPOSITION Deposition)         (patient ?DEPOSITION ?OBJ)         (holdsDuring             (ImmediatePastFn                 (WhenFn ?DEPOSITION))             (measure ?OBJ                 (MeasureFn ?X Joule)))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?DEPOSITION))             (measure ?OBJ                 (MeasureFn ?Y Joule))))     (lessThan ?Y ?X))	Geography.kif 7016-7030
(=>     (and         (instance ?DEVICE FaxMachine)         (holdsDuring ?TIME             (and                 (deviceTelecomNumber ?NUMBER ?DEVICE)                 (possesses ?AGENT ?DEVICE))))     (holdsDuring ?TIME         (faxNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 25158-25165
(=>     (and         (instance ?DEVICE MobileCellPhone)         (holdsDuring ?TIME             (and                 (deviceTelecomNumber ?NUMBER ?DEVICE)                 (telephoneNumber ?NUMBER ?AGENT))))     (holdsDuring ?TIME         (mobilePhoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 25133-25140
(=>     (and         (instance ?DEVICE Telephone)         (holdsDuring ?TIME             (and                 (possesses ?AGENT ?DEVICE)                 (deviceTelecomNumber ?NUMBER ?DEVICE))))     (holdsDuring ?TIME         (telephoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 25007-25014
(=>     (and         (instance ?DISCOVER Discovering)         (patient ?DISCOVER ?OBJ)         (holdsDuring             (WhenFn ?DISCOVER)             (located ?OBJ ?PLACE)))     (exists (?LEARN)         (and             (instance ?LEARN Learning)             (subProcess ?LEARN ?DISCOVER)             (patient ?LEARN                 (located ?OBJ ?PLACE)))))	Merge.kif 11973-11982
(=>     (and         (instance ?E EngineCylinder)         (instance ?C Crankcase)         (instance ?P Piston)         (instance ?T TwoStrokeTransfer)         (holdsDuring ?T             (located ?P ?E))         (equal ?E             (HoleHostFn ?C))         (eventLocated ?T ?E))     (hasPurpose ?P         (holdsDuring ?T             (partiallyFills ?P ?C))))	Cars.kif 509-521
(=>     (and         (instance ?E EngineCylinder)         (instance ?I InternalCombustionChamber)         (instance ?P Piston)         (instance ?T TwoStrokeIntake)         (holdsDuring ?T             (located ?P ?E))         (equal ?E             (HoleHostFn ?I))         (eventLocated ?T ?E))     (hasPurpose ?P         (holdsDuring ?T             (partiallyFills ?P ?I))))	Cars.kif 463-475
(=>     (and         (instance ?E Eyebrow)         (holdsDuring ?T             (and                 (attribute ?H Healthy)                 (attribute ?H Standing)))         (part ?E ?H))     (exists (?EYE)         (and             (instance ?EYE Eye)             (part ?EYE ?H)             (orientation ?E ?EYE Above))))	Anatomy.kif 1469-1481
(=>     (and         (instance ?E InternalCombustionEngine)         (instance ?CC CombustionChamber)         (part ?CC ?E)         (instance ?F Fuel)         (instance ?M UnitOfVolume)         (holdsDuring ?T             (and                 (contains ?CC ?F)                 (measure ?F                     (MeasureFn ?N1 ?M))                 (attribute ?E EngineFlooded))))     (hasPurpose ?CC         (not             (exists (?F2 ?N2)                 (and                     (instance ?F2 Fuel)                     (contains ?CC ?F2)                     (measure ?F2                         (MeasureFn ?N2 ?M))                     (greaterThanOrEqualTo ?N2 ?N1))))))	Cars.kif 2811-2830
(=>     (and         (instance ?E Motion)         (instance ?T Tremor)         (instance ?D Damper)         (patient ?T ?O)         (part ?D ?O)         (causes ?E ?T)         (instance ?U UnitOfLength)         (holdsDuring             (WhenFn ?E)             (physicalAmplitude ?T                 (MeasureFn ?A1 ?U)))         (holdsDuring             (ImmediateFutureFn ?E)             (physicalAmplitude ?T                 (MeasureFn ?A2 ?U))))     (greaterThan ?A1 ?A2))	Cars.kif 777-792
(=>     (and         (instance ?EC EngineChoke)         (holdsDuring ?FSC1             (attribute ?EC DeviceOn))         (holdsDuring ?FSC2             (attribute ?EC DeviceOff))         (instance ?C EngineCylinder)         (capacity ?C ?M)         (instance ?FSC1 FourStrokeCompression)         (instance ?FSC2 FourStrokeCompression)         (eventLocated ?FSC1 ?C)         (eventLocated ?FSC2 ?C)         (instance ?A1 Air)         (instance ?F1 Fuel)         (part ?A1 ?MIX1)         (part ?F1 ?MIX1)         (measure ?MIX1 ?M)         (instance ?A2 Air)         (instance ?F2 Fuel)         (part ?A2 ?MIX2)         (part ?F2 ?MIX2)         (measure ?MIX2 ?M)         (instance ?U UnitOfMeasure)         (measure ?A1             (MeasureFn ?A1M ?U))         (measure ?A2             (MeasureFn ?A2M ?U))         (measure ?F1             (MeasureFn ?F1M ?U))         (measure ?F2             (MeasureFn ?F2M ?U)))     (greaterThan         (DivisionFn ?A2M ?F2M)         (DivisionFn ?A1M ?F1M)))	Cars.kif 1314-1348
(=>     (and         (instance ?EC EngineCycle)         (instance ?E InternalCombustionEngine)         (instance ?CC CombustionChamber)         (part ?CC ?E)         (eventLocated ?EC ?E)         (instance ?U UnitOfVolume)         (holdsDuring             (WhenFn ?EC)             (maxCylinderVolume ?E                 (MeasureFn ?V1 ?U))))     (not         (exists (?V2 ?T)             (and                 (during ?T                     (WhenFn ?EC))                 (holdsDuring ?T                     (measure ?CC                         (MeasureFn ?V2 ?U)))                 (greaterThan ?V2 ?V1)))))	Cars.kif 1898-1917
(=>     (and         (instance ?EC EngineCycle)         (instance ?E InternalCombustionEngine)         (instance ?CC CombustionChamber)         (part ?CC ?E)         (eventLocated ?EC ?E)         (instance ?U UnitOfVolume)         (holdsDuring             (WhenFn ?EC)             (minCylinderVolume ?E                 (MeasureFn ?V1 ?U))))     (not         (exists (?V2 ?T)             (and                 (during ?T                     (WhenFn ?EC))                 (holdsDuring ?T                     (measure ?CC                         (MeasureFn ?V2 ?U)))                 (greaterThan ?V1 ?V2)))))	Cars.kif 1868-1887
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