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 17512-17512 相反的屬性 固體, 液體, 加油站 and 等離子體
(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 17522-17523
(instance Solid PhysicalState) Merge.kif 17521-17521 例 固體 and PhysicalState

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


(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) Merge.kif 17513-17513 固體 是所有的 PhysicalState 的 attributes
(roomTempState AbrinToxin Solid) Mid-level-ontology.kif 31474-31474 roomTempState abrin毒素 and 固體
(roomTempState Actinium Solid) Mid-level-ontology.kif 31456-31456 roomTempState 錒 and 固體
(roomTempState Alumina Solid) Mid-level-ontology.kif 31478-31478 roomTempState 礬土 and 固體
(roomTempState Aluminum Solid) Mid-level-ontology.kif 31380-31380 roomTempState 鋁 and 固體
(roomTempState Americium Solid) Mid-level-ontology.kif 31462-31462 roomTempState 銤 and 固體
(roomTempState Amphetamine Solid) Mid-level-ontology.kif 31480-31480 roomTempState Amphetamine and 固體
(roomTempState AnimalFat Solid) Food.kif 2872-2872 roomTempState AnimalFat and 固體
(roomTempState Antimony Solid) Mid-level-ontology.kif 31418-31418 roomTempState 銻 and 固體
(roomTempState Arsenic Solid) Mid-level-ontology.kif 31400-31400 roomTempState 砷 and 固體
(roomTempState Asbestos Solid) Mid-level-ontology.kif 31481-31481 roomTempState 石棉 and 固體
(roomTempState Astatine Solid) Mid-level-ontology.kif 31452-31452 roomTempState 砹 and 固體
(roomTempState Barite Solid) Mid-level-ontology.kif 31484-31484 roomTempState 重晶石 and 固體
(roomTempState Barium Solid) Mid-level-ontology.kif 31423-31423 roomTempState 鋇 and 固體
(roomTempState Batrachotoxin Solid) Mid-level-ontology.kif 31485-31485 roomTempState batrachotoxin and 固體
(roomTempState Bauxite Solid) Mid-level-ontology.kif 31486-31486 roomTempState 礬土 and 固體
(roomTempState Berkelium Solid) Mid-level-ontology.kif 31464-31464 roomTempState 锫 and 固體
(roomTempState Beryllium Solid) Mid-level-ontology.kif 31370-31370 roomTempState 鈹 and 固體
(roomTempState Bismuth Solid) Mid-level-ontology.kif 31450-31450 roomTempState 鉍 and 固體
(roomTempState BotulinumToxin Solid) Mid-level-ontology.kif 31487-31487 roomTempState 肉毒桿菌毒素 and 固體
(roomTempState Boulder Solid) Mid-level-ontology.kif 31333-31333 roomTempState Boulder and 固體
(roomTempState BrownCoal Solid) Mid-level-ontology.kif 31317-31317 roomTempState 褐煤 and 固體
(roomTempState Butter Solid) Food.kif 3098-3098 roomTempState 奶油 and 固體
(roomTempState ButterFat Solid) Food.kif 2931-2931 roomTempState ButterFat and 固體
(roomTempState Cadmium Solid) Mid-level-ontology.kif 31415-31415 roomTempState 鎘 and 固體

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 7523-7532
(=>
    (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 7120-7140
(=>
    (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 21565-21571

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


(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))		 Mid-level-ontology.kif 8951-8955 例 Object and 冰 例 Object and Water attribute Object and 固體
(=>
    (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 6975-6992
(=>
    (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 13970-13978
(=>
    (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 13882-13890
(=>
    (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 7027-7044
(=>
    (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 13850-13863
(=>
    (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 13790-13799
(=>
    (instance ?C Clot)
    (attribute ?C Solid))		 Mid-level-ontology.kif 10496-10498
(=>
    (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 10470-10482
(=>
    (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 4542-4557
(=>
    (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 5982-5988
(=>
    (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 9223-9225
(=>
    (instance ?POWDER Powder)
    (attribute ?POWDER Solid))		 Mid-level-ontology.kif 8926-8928
(=>
    (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 17859-17861
(=>
    (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 4521-4536

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