Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Solid
Solid

appearance as argument number 1
-------------------------


(contraryAttribute Solid Liquid Gas Plasma) Merge.kif 17542-17542
(documentation Solid ChineseLanguage "这是如果一个 Object 的形状和体积都是固定的话,它的 Attribute 便是属于 Solid。") chinese_format.kif 3924-3925
(documentation Solid EnglishLanguage "An Object has the Attribute of Solid if it has a fixed shape and a fixed volume.") Merge.kif 17552-17553
(instance Solid PhysicalState) Merge.kif 17551-17551

appearance as argument number 2
-------------------------


(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) Merge.kif 17543-17543
(roomTempState AbrinToxin Solid) Mid-level-ontology.kif 31557-31557
(roomTempState Actinium Solid) Mid-level-ontology.kif 31539-31539
(roomTempState Alumina Solid) Mid-level-ontology.kif 31561-31561
(roomTempState Aluminum Solid) Mid-level-ontology.kif 31463-31463
(roomTempState Americium Solid) Mid-level-ontology.kif 31545-31545
(roomTempState Amphetamine Solid) Mid-level-ontology.kif 31563-31563
(roomTempState Antimony Solid) Mid-level-ontology.kif 31501-31501
(roomTempState Arsenic Solid) Mid-level-ontology.kif 31483-31483
(roomTempState Asbestos Solid) Mid-level-ontology.kif 31564-31564
(roomTempState Astatine Solid) Mid-level-ontology.kif 31535-31535
(roomTempState Barite Solid) Mid-level-ontology.kif 31567-31567
(roomTempState Barium Solid) Mid-level-ontology.kif 31506-31506
(roomTempState Batrachotoxin Solid) Mid-level-ontology.kif 31568-31568
(roomTempState Bauxite Solid) Mid-level-ontology.kif 31569-31569
(roomTempState Berkelium Solid) Mid-level-ontology.kif 31547-31547
(roomTempState Beryllium Solid) Mid-level-ontology.kif 31453-31453
(roomTempState Bismuth Solid) Mid-level-ontology.kif 31533-31533
(roomTempState BotulinumToxin Solid) Mid-level-ontology.kif 31570-31570
(roomTempState Boulder Solid) Mid-level-ontology.kif 31416-31416
(roomTempState BrownCoal Solid) Mid-level-ontology.kif 31400-31400
(roomTempState Cadmium Solid) Mid-level-ontology.kif 31498-31498
(roomTempState Caesium Solid) Mid-level-ontology.kif 31505-31505
(roomTempState Caffeine Solid) Mid-level-ontology.kif 31572-31572
(roomTempState Calcium Solid) Mid-level-ontology.kif 31470-31470

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (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 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 ?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 1379-1389
(=>
    (and
        (instance ?W TapWater)
        (instance ?M Mixture)
        (part ?W ?M)
        (instance ?A Antifreeze)
        (part ?A ?M)
        (attribute ?M Solid)
        (measure ?M
            (MeasureFn ?D CelsiusDegree)))
    (greaterThan 32 ?D))
Cars.kif 1219-1228
(=>
    (and
        (instance ?X Colloid)
        (attribute ?X Solid)
        (attribute ?X Fluid)
        (equal ?X ?Y))
    (instance ?Y Gel))
Mid-level-ontology.kif 21616-21622

consequent
-------------------------


(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))
Mid-level-ontology.kif 8979-8983
(=>
    (and
        (instance ?ACT Eating)
        (resource ?ACT ?FOOD))
    (attribute ?FOOD Solid))
Merge.kif 10265-10269
(=>
    (and
        (instance ?DEPOSITION Deposition)
        (patient ?DEPOSITION ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?DEPOSITION))
                (attribute ?PART Gas))
            (holdsDuring
                (EndFn
                    (WhenFn ?DEPOSITION))
                (attribute ?PART Solid))
            (not
                (holdsDuring
                    (WhenFn ?DEPOSITION)
                    (attribute ?PART Liquid))))))
Geography.kif 6997-7014
(=>
    (and
        (instance ?FREEZE Freezing)
        (patient ?FREEZE ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?FREEZE))
                (attribute ?PART Liquid))
            (holdsDuring
                (EndFn
                    (WhenFn ?FREEZE))
                (attribute ?PART Solid)))))
Merge.kif 14000-14008
(=>
    (and
        (instance ?G Grease)
        (holdsDuring ?T
            (measure ?G
                (MeasureFn 77 FahrenheitDegree))))
    (holdsDuring ?T
        (attribute ?G Solid)))
Cars.kif 2986-2992
(=>
    (and
        (instance ?MELT Melting)
        (patient ?MELT ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?MELT))
                (attribute ?PART Solid))
            (holdsDuring
                (EndFn
                    (WhenFn ?MELT))
                (attribute ?PART Liquid)))))
Merge.kif 13912-13920
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG Mining))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Removing)
                    (patient ?EV ?THING)
                    (instance ?THING PureSubstance)
                    (attribute ?THING Solid)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 631-648
(=>
    (and
        (instance ?PROCESS FreezingRain)
        (patient ?PROCESS ?STUFF)
        (instance ?STUFF Water))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?PROCESS))
        (attribute ?STUFF Solid)))
Weather.kif 1091-1096
(=>
    (and
        (instance ?SUBLIMATION Sublimation)
        (patient ?SUBLIMATION ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?SUBLIMATION))
                (attribute ?PART Solid))
            (holdsDuring
                (EndFn
                    (WhenFn ?SUBLIMATION))
                (attribute ?PART Gas))
            (not
                (holdsDuring
                    (WhenFn ?SUBLIMATION)
                    (attribute ?PART Liquid))))))
Geography.kif 7049-7066
(=>
    (and
        (instance ?SUBSTANCE ?TYPE)
        (meltingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (holdsDuring ?TIME
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP2 ?MEASURE)))
        (instance ?MEASURE UnitOfTemperature)
        (lessThan ?TEMP2 ?TEMP1))
    (or
        (holdsDuring ?TIME
            (attribute ?SUBSTANCE Solid))
        (exists (?FREEZE)
            (and
                (overlapsTemporally
                    (WhenFn ?FREEZE) ?TIME)
                (instance ?FREEZE Freezing)
                (patient ?FREEZE ?SUBSTANCE)))))
Merge.kif 13880-13893
(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (meltingPoint ?Y
            (MeasureFn ?MELT KelvinDegree))
        (barometricPressure ?X
            (MeasureFn ?PRES InchMercury))
        (greaterThan ?PRES 29.92)
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (lessThan ?TEMP ?MELT))
    (attribute ?X Solid))
Merge.kif 13820-13829
(=>
    (instance ?C Clot)
    (attribute ?C Solid))
Mid-level-ontology.kif 10524-10526
(=>
    (instance ?C Clotting)
    (exists (?B)
        (and
            (instance ?B Blood)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?C))
                (attribute ?B Liquid))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?C))
                (attribute ?B Solid)))))
Mid-level-ontology.kif 10498-10510
(=>
    (instance ?C Colander)
    (hasPurpose ?C
        (exists (?MIX ?SUB ?SOLID ?REMOVE)
            (and
                (instance ?MIX Mixture)
                (instance ?SUB Substance)
                (part ?SUB ?MIX)
                (attribute ?SUB Liquid)
                (instance ?REMOVE Removing)
                (patient ?REMOVE ?SUB)
                (instance ?SOLID Substance)
                (part ?SOLID ?MIX)
                (attribute ?SOLID Solid)
                (result ?REMOVE ?SOLID)
                (instrument ?REMOVE ?C)))))
Mid-level-ontology.kif 4570-4585
(=>
    (instance ?E Exhaust)
    (exists (?S ?G ?C)
        (and
            (instance ?C Combustion)
            (attribute ?S Solid)
            (attribute ?G Gas)
            (part ?S ?E)
            (part ?G ?E)
            (result ?C ?E))))
Cars.kif 1150-1159
(=>
    (instance ?FILTER AirFilter)
    (hasPurpose ?FILTER
        (exists (?REMOVE ?AIR ?NONAIR ?MIX)
            (and
                (instance ?REMOVE Removing)
                (part ?AIR ?MIX)
                (instance ?AIR Air)
                (not
                    (instance ?NONAIR Air))
                (attribute ?NONAIR Solid)
                (patient ?REMOVE ?NONAIR)
                (part ?NONAIR ?MIX)
                (origin ?REMOVE ?MIX)
                (instance ?MIX Mixture)
                (instrument ?REMOVE ?FILTER)))))
Cars.kif 943-958
(=>
    (instance ?FROST Frosting)
    (exists (?ICE ?OBJ)
        (and
            (instance ?ICE Ice)
            (attribute ?ICE MonoCrystalline)
            (patient ?FROST ?ICE)
            (instance ?OBJ Object)
            (attribute ?OBJ Solid)
            (destination ?FROST ?OBJ)
            (meetsSpatially ?FROST ?OBJ))))
Weather.kif 2782-2792
(=>
    (instance ?Glacier Glacier)
    (exists (?Water)
        (and
            (instance ?Water Water)
            (attribute ?Water Solid)
            (part ?Water ?Glacier))))
Geography.kif 6004-6010
(=>
    (instance ?ICING Icing)
    (exists (?ICE ?OBJ)
        (and
            (instance ?ICE Ice)
            (attribute ?ICE PolyCrystalline)
            (patient ?ICING ?ICE)
            (instance ?OBJ Object)
            (attribute ?OBJ Solid)
            (destination ?ICING ?OBJ)
            (meetsSpatially ?ICE ?OBJ))))
Weather.kif 2514-2524
(=>
    (instance ?P Pill)
    (attribute ?P Solid))
Mid-level-ontology.kif 9251-9253
(=>
    (instance ?POWDER Powder)
    (attribute ?POWDER Solid))
Mid-level-ontology.kif 8954-8956
(=>
    (instance ?PROCESS Hailing)
    (precipitationState ?PROCESS Solid))
Weather.kif 1180-1182
(=>
    (instance ?PROCESS Snowing)
    (precipitationState ?PROCESS Solid))
Weather.kif 1137-1139
(=>
    (instance ?Rock Rock)
    (attribute ?Rock Solid))
Mid-level-ontology.kif 17910-17912
(=>
    (instance ?S Strainer)
    (hasPurpose ?S
        (exists (?MIX ?SUB ?LIQUID ?REMOVE)
            (and
                (instance ?MIX Mixture)
                (instance ?SUB Substance)
                (instance ?LIQUID Substance)
                (part ?SUB ?MIX)
                (attribute ?SUB Solid)
                (instance ?REMOVE Removing)
                (part ?LIQUID ?MIX)
                (attribute ?LIQUID Liquid)
                (patient ?REMOVE ?SUB)
                (result ?REMOVE ?LIQUID)
                (instrument ?REMOVE ?S)))))
Mid-level-ontology.kif 4549-4564

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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