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 17725-17725 Solid は Liquid の disjoint では
(documentation Solid ChineseLanguage "这是如果一个 Object 的形状和体积都是固定的话，它的 Attribute 便是属于 Solid。") chinese_format.kif 3924-3925 Solid は Liquid の disjoint では
(documentation Solid EnglishLanguage "An Object has the Attribute of Solid if it has a fixed shape and a fixed volume.") Merge.kif 17735-17736 Solid は Liquid の disjoint では
(instance Solid PhysicalState) Merge.kif 17734-17734 Solid は 物理状態 の instance では

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


(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) Merge.kif 17726-17726 exhaustiveAttribute 物理状態, Solid, Liquid, Gas and Plasma
(roomTempState AbrinToxin Solid) Mid-level-ontology.kif 33502-33502 roomTempState AbrinToxin and Solid
(roomTempState Actinium Solid) Mid-level-ontology.kif 33484-33484 roomTempState Actinium and Solid
(roomTempState Alumina Solid) Mid-level-ontology.kif 33506-33506 roomTempState Alumina and Solid
(roomTempState Aluminum Solid) Mid-level-ontology.kif 33408-33408 roomTempState Aluminum and Solid
(roomTempState Americium Solid) Mid-level-ontology.kif 33490-33490 roomTempState Americium and Solid
(roomTempState Amphetamine Solid) Mid-level-ontology.kif 33508-33508 roomTempState Amphetamine and Solid
(roomTempState AnimalFat Solid) Food.kif 2879-2879 roomTempState AnimalFat and Solid
(roomTempState Antimony Solid) Mid-level-ontology.kif 33446-33446 roomTempState Antimony and Solid
(roomTempState Arsenic Solid) Mid-level-ontology.kif 33428-33428 roomTempState Arsenic and Solid
(roomTempState Asbestos Solid) Mid-level-ontology.kif 33509-33509 roomTempState Asbestos and Solid
(roomTempState Astatine Solid) Mid-level-ontology.kif 33480-33480 roomTempState Astatine and Solid
(roomTempState Barite Solid) Mid-level-ontology.kif 33512-33512 roomTempState Barite and Solid
(roomTempState Barium Solid) Mid-level-ontology.kif 33451-33451 roomTempState Barium and Solid
(roomTempState Batrachotoxin Solid) Mid-level-ontology.kif 33513-33513 roomTempState Batrachotoxin and Solid
(roomTempState Bauxite Solid) Mid-level-ontology.kif 33514-33514 roomTempState Bauxite and Solid
(roomTempState Berkelium Solid) Mid-level-ontology.kif 33492-33492 roomTempState Berkelium and Solid
(roomTempState Beryllium Solid) Mid-level-ontology.kif 33398-33398 roomTempState Beryllium and Solid
(roomTempState Bismuth Solid) Mid-level-ontology.kif 33478-33478 roomTempState Bismuth and Solid
(roomTempState BotulinumToxin Solid) Mid-level-ontology.kif 33515-33515 roomTempState BotulinumToxin and Solid
(roomTempState Boulder Solid) Mid-level-ontology.kif 33361-33361 roomTempState Boulder and Solid
(roomTempState BrownCoal Solid) Mid-level-ontology.kif 33345-33345 roomTempState BrownCoal and Solid
(roomTempState Butter Solid) Food.kif 3105-3105 roomTempState Butter and Solid
(roomTempState ButterFat Solid) Food.kif 2938-2938 roomTempState ButterFat and Solid
(roomTempState Cadmium Solid) Mid-level-ontology.kif 33443-33443 roomTempState Cadmium and Solid

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 7882-7891
(=>
    (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 7479-7499
(=>
    (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 23233-23239

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


(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))		 Mid-level-ontology.kif 10185-10189 オブジェクト は Ice の instance では オブジェクト は 水 の instance では Solid は オブジェクト の attribute では
(=>
    (and
        (instance ?ACT Eating)
        (resource ?ACT ?FOOD))
    (attribute ?FOOD Solid))		 Merge.kif 10405-10409
(=>
    (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 7334-7351
(=>
    (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 14153-14161
(=>
    (and
        (instance ?G Grease)
        (holdsDuring ?T
            (measure ?G
                (MeasureFn 77 FahrenheitDegree))))
    (holdsDuring ?T
        (attribute ?G Solid)))		 Cars.kif 3045-3051
(=>
    (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 14065-14073
(=>
    (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 1326-1331
(=>
    (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 7386-7403
(=>
    (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 14033-14046
(=>
    (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 13973-13982
(=>
    (attribute ?G FlammableSolid)
    (and
        (instance ?G Substance)
        (attribute ?G Solid)
        (attribute ?G Flammable)))		 Transportation.kif 4168-4173
(=>
    (instance ?C Clot)
    (attribute ?C Solid))		 Mid-level-ontology.kif 11855-11857
(=>
    (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 11829-11841
(=>
    (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 5015-5030
(=>
    (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 3507-3517
(=>
    (instance ?Glacier Glacier)
    (exists (?Water)
        (and
            (instance ?Water Water)
            (attribute ?Water Solid)
            (part ?Water ?Glacier))))		 Geography.kif 6307-6313
(=>
    (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 3238-3248
(=>
    (instance ?P Pill)
    (attribute ?P Solid))		 Mid-level-ontology.kif 10580-10582
(=>
    (instance ?POWDER Powder)
    (attribute ?POWDER Solid))		 Mid-level-ontology.kif 10160-10162
(=>
    (instance ?PROCESS Hailing)
    (precipitationState ?PROCESS Solid))		 Weather.kif 1415-1417
(=>
    (instance ?PROCESS Snowing)
    (precipitationState ?PROCESS Solid))		 Weather.kif 1372-1374
(=>
    (instance ?Rock Rock)
    (attribute ?Rock Solid))		 Mid-level-ontology.kif 19481-19483

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