(=>     (and         (instance ?BTS BimetalTemperatureSensor)         (instance ?M1 Metal)         (instance ?M2 Metal)         (not             (equal ?M1 ?M2))         (part ?M1 ?BTS)         (part ?M2 ?BTS)         (instance ?T1 TemperatureMeasure)         (instance ?T2 TemperatureMeasure)         (instance ?L1 LengthMeasure)         (instance ?L2 LengthMeasure)         (instance ?L3 LengthMeasure)         (instance ?L4 LengthMeasure)         (not             (equal ?T1 ?T2))         (not             (equal ?TM1 ?TM2))         (holdsDuring ?TM1             (and                 (measure ?BTS ?T1)                 (measure ?M1 ?L1)                 (measure ?M2 ?L2)))         (holdsDuring ?TM2             (and                 (measure ?BTS ?T2)                 (measure ?M1 ?L3)                 (measure ?M2 ?L4))))     (not         (equal             (DivisionFn ?L1 ?L2)             (DivisionFn ?L3 ?L4))))	Cars.kif 4081-4113
(=>     (and         (instance ?C Cam)         (instance ?CS Camshaft)         (instance ?E Engine)         (part ?C ?E)         (part ?CS ?E))     (hasPurpose ?CS         (connectedEngineeringComponents ?C ?CS)))	Cars.kif 1660-1668
(=>     (and         (instance ?C Cappuccino)         (part ?E ?C)         (part ?M ?C)         (instance ?E Espresso)         (instance ?M MilkFoam)         (mixtureRatio ?E ?M ?V1 ?V2 Liter)         (part ?B ?M)         (instance ?B Bubble)         (top ?B ?M)         (measure ?B             (MeasureFn ?L Millimeter)))     (and         (approximateValue ?V1 0.03)         (approximateValue ?V2 0.15)         (approximateValue ?L 20.0)))	Food.kif 1285-1301
(=>     (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 ?C Chest)         (instance ?A Animal)         (instance ?C ?A)         (part ?C ?A))     (exists (?T)         (and             (instance ?T Torso)             (part ?C ?T)             (part ?T ?A))))	Mid-level-ontology.kif 11219-11229
(=>     (and         (instance ?C Chest)         (part ?C ?P)         (equal ?B             (BackFn ?P)))     (not         (part ?C ?B)))	Anatomy.kif 1823-1830
(=>     (and         (instance ?C Clutch)         (instance ?A Automobile)         (instance ?E Engine)         (instance ?G Gearbox)         (instance ?GEAR Gear)         (part ?GEAR ?G)         (part ?G ?A)         (part ?C ?A)         (part ?E ?A)         (instance ?M Motion)         (patient ?M ?E)         (attribute ?C DeviceOff))     (exists (?M2)         (and             (instance ?M2 Motion)             (patient ?M2 ?G)             (causes ?M ?M2))))	Cars.kif 1838-1856
(=>     (and         (instance ?C Clutch)         (instance ?A Automobile)         (instance ?E Engine)         (instance ?G Gearbox)         (instance ?GEAR Gear)         (part ?GEAR ?G)         (part ?G ?A)         (part ?C ?A)         (part ?E ?A)         (instance ?M Motion)         (patient ?M ?E)         (attribute ?C DeviceOn))     (not         (exists (?M2)             (and                 (instance ?M2 Motion)                 (patient ?M2 ?G)                 (causes ?M ?M2)))))	Cars.kif 1817-1836
(=>     (and         (instance ?C CoffeeArabica)         (measure ?C             (MeasureFn ?X Gram))         (instance ?CC Caffeine)         (part ?CC ?C)         (measure ?CC             (MeasureFn ?Y Gram))         (equal ?Z             (DivisionFn ?Y ?X)))     (and         (greaterThanOrEqualTo ?Z 0.008)         (lessThanOrEqualTo ?Z 0.014)))	Economy.kif 4645-4658
(=>     (and         (instance ?C CoffeeRobusta)         (measure ?C             (MeasureFn ?X Gram))         (instance ?CC Caffeine)         (part ?CC ?C)         (measure ?CC             (MeasureFn ?Y Gram))         (equal ?Z             (DivisionFn ?Y ?X)))     (and         (greaterThanOrEqualTo ?Z 0.017)         (lessThanOrEqualTo ?Z 0.04)))	Economy.kif 4669-4682
(=>     (and         (instance ?C Colloid)         (part ?P ?C)         (or             (attribute ?P Solid)             (attribute ?P Liquid))         (instance ?AIR Air)         (part ?AIR ?C))     (instance ?C Aerosal))	Geography.kif 7545-7554
(=>     (and         (instance ?C CommonWheatGrass)         (part ?CELL ?C)         (instance ?CELL ?CLASS))     (subclass ?CLASS HexaploidCell))	Economy.kif 3963-3968
(=>     (and         (instance ?C Crankshaft)         (instance ?I IntermittentCombustionEngine)         (part ?I ?C))     (hasPurpose ?C         (exists (?E ?R)             (and                 (instance ?E Explosion)                 (instance ?R Rotating)                 (patient ?R ?C)                 (eventLocated ?R ?I)                 (causes ?E ?R)))))	Cars.kif 349-361
(=>     (and         (instance ?C Cream)         (part ?C ?O1)         (instance ?O1 ButterFat)         (measure ?O1             (MeasureFn ?X Gram))         (instance ?M Milk)         (part ?M ?O2)         (instance ?O2 ButterFat)         (measure ?O2             (MeasureFn ?Y Gram)))     (greaterThan ?X ?Y))	Food.kif 3124-3136
(=>     (and         (instance ?C Crystal)         (attribute ?C MonoCrystalline)         (instance ?SUB Substance)         (attribute ?SUB Solid)         (attribute ?SUB PolyCrystalline)         (instance ?S Substance)         (surface ?S ?SUB)         (not             (part ?C ?S)))     (exists (?CLNT ?X ?MBR)         (and             (instance ?CLNT Collection)             (memberCount ?CLNT ?X)             (greaterThanOrEqualTo ?X 4)             (=>                 (member ?MBR ?CLNT)                 (and                     (part ?MBR ?SUB)                     (meetsSpatially ?C ?MBR))))))	Geography.kif 7142-7162
(=>     (and         (instance ?C FlatWhite)         (part ?E ?C)         (part ?M ?C)         (instance ?E Espresso)         (instance ?M MilkFoam)         (mixtureRatio ?E ?M ?V1 ?V2 Liter)         (part ?B ?M)         (part ?B ?E)         (top ?B ?M)         (instance ?B Bubble)         (measure ?B             (MeasureFn ?L Millimeter)))     (and         (approximateValue ?V1 0.03)         (approximateValue ?V2 0.15)         (greaterThanOrEqualTo ?L 1.0)         (lessThanOrEqualTo ?L 20.0)))	Food.kif 1367-1385
(=>     (and         (instance ?C Latte)         (part ?E ?C)         (part ?M ?C)         (instance ?E Espresso)         (instance ?M MilkFoam)         (mixtureRatio ?E ?M ?V1 ?V2 Liter)         (part ?B ?M)         (instance ?B Bubble)         (top ?B ?M)         (measure ?B             (MeasureFn ?L Millimeter)))     (and         (approximateValue ?V1 0.03)         (approximateValue ?V2 0.21)         (approximateValue ?L 12.0)))	Food.kif 1399-1415
(=>     (and         (instance ?C SpeltWheatGrass)         (part ?CELL ?C)         (instance ?CELL ?CLASS))     (subclass ?CLASS HexaploidCell))	Economy.kif 3993-3998
(=>     (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 ?CC ComputerCable)         (not             (instance ?C Cable))         (part ?C ?CC))     (or         (instance ?C MaleConnector)         (instance ?C FemaleConnector)))	ComputingBrands.kif 2746-2754
(=>     (and         (instance ?CELL HexaploidCell)         (part ?N ?CELL)         (instance ?N CellNucleus)         (located ?COLL ?N)         (instance ?COLL Collection)         (memberType ?COLL Chromosome))     (exists (?A ?B ?C)         (and             (instance ?A HomologousChromosomeSet)             (subCollection ?A ?COLL)             (instance ?B HomologousChromosomeSet)             (subCollection ?B ?COLL)             (instance ?C HomologousChromosomeSet)             (subCollection ?C ?COLL)             (not                 (equal ?A ?B)                 (equal ?A ?C)                 (equal ?B ?C)))))	VirusProteinAndCellPart.kif 1004-1023
(=>     (and         (instance ?CELL MonoploidCell)         (chromosomeNumber ?CELL ?X)         (instance ?COLL MonoploidChromosomeSet)         (located ?COLL ?N)         (instance ?N CellNucleus)         (part ?N ?CELL)         (monoploidNumber ?COLL ?Y))     (equal ?X ?Y))	VirusProteinAndCellPart.kif 773-782
(=>     (and         (instance ?CELL MonoploidCell)         (instance ?N CellNucleus)         (part ?N ?CELL))     (exists (?COLL)         (and             (instance ?COLL MonoploidChromosomeSet)             (located ?COLL ?N)             (not                 (exists (?SET)                     (and                         (instance ?SET MonoploidChromosomeSet)                         (not                             (equal ?SET ?COLL))                         (located ?SET ?N)))))))	VirusProteinAndCellPart.kif 756-771
(=>     (and         (instance ?CELL PentaploidCell)         (instance ?N CellNucleus)         (part ?N ?CELL)         (located ?COLL ?N)         (instance ?COLL Collection)         (memberType ?COLL Chromosome)         (instance ?A MonoploidChromosomeSet)         (subCollection ?A ?COLL))     (chromosomeSetCount ?A ?COLL 5))	VirusProteinAndCellPart.kif 974-984
(=>     (and         (instance ?CELL TetraploidCell)         (part ?N ?CELL)         (instance ?N CellNucleus)         (located ?COLL ?N)         (instance ?COLL Collection)         (memberType ?COLL Chromosome))     (exists (?A ?B)         (and             (instance ?A HomologousChromosomeSet)             (subCollection ?A ?COLL)             (instance ?B HomologousChromosomeSet)             (subCollection ?B ?COLL)             (not                 (equal ?A ?B)))))	VirusProteinAndCellPart.kif 951-966
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