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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Substance
Substance

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


(documentation Substance ChineseLanguage "一个每一部分在各个相关方面跟所有同类都相似的 Object。 更确切而言， Substance是当一个东西的部分只有任意散件时 - 任何部分的特质跟它整体的特质相似时。 这就是。 注：但 Substance 的一些物理特质可能会有差异。例如：温度、化学成分、密度等 可从一个部分改变成 另一个部分。 一滩水就是一个例子。") chinese_format.kif 1587-1590
(documentation Substance EnglishLanguage "An Object in which every part is similar to every other in every relevant respect. More precisely, something is a Substance when it has only arbitrary pieces as parts - any parts have properties which are similar to those of the whole. Note that a Substance may nonetheless have physical properties that vary. For example, the temperature, chemical constitution, density, etc. may change from one part to another. An example would be a body of water.") Merge.kif 1045-1051
(documentation Substance JapaneseLanguage "Objectは、すべてのパーツが他のすべての関連するあ らゆる点で似ている。　より正確には、パーツとして任意のピースのみがある場合、 何かが Substance である - どんなパーツも全体のプロパティに似たプロパティがある。　注：それにも関わらず、Substance は、物理的特性が異る場合がある。　例えば、温度、化学組成、密度などが一部から他の部へ変化する場合が ある。　例として、水域など。") japanese_format.kif 165-169
(documentation Substance SpanishLanguage "Un Object en lo que cada parte es simular a al otra parte en todos los aspectos relevantes. Para ser mas preciso, algo es una Substance sólo cuando tenga piezas arbitrarias como partes… cualquiera parte que es simular al objeto entero. Note que una Substance, no obstante, puede tener propiedades que varian. Por ejemplo, temperatura, composición química, densidad, etc. pueden cambiar una parte a otra. Un ejemplo sería una masa de agua.") spanish_format.kif 194-199
(externalImage Substance "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Water_droplet_blue_bg05.jpg") pictureList.kif 917-917
(partition Substance PureSubstance Mixture) Merge.kif 1042-1042 劃分 Substance, PureSubstance and Mixture
(partition Substance SyntheticSubstance NaturalSubstance) Merge.kif 1043-1043 劃分 Substance, 合成物質 and 天然物質
(subclass Substance SelfConnectedObject) Merge.kif 1041-1041 子類 Substance and SelfConnectedObject

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


(disjoint CorpuscularObject Substance) Merge.kif 1227-1227 不相交的 CorpuscularObject and Substance
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14671-14671 子類 BiologicallyActiveSubstance and Substance
(subclass BodySubstance Substance) Merge.kif 14806-14806 子類 BodySubstance and Substance
(subclass ChemicalAcid Substance) Cars.kif 2471-2471 子類 化學酸 and Substance
(subclass ConductorSubstance Substance) engineering.kif 1281-1281 子類 導體物質 and Substance
(subclass Creatinine Substance) Medicine.kif 3793-3793 子類 Creatinine and Substance
(subclass Crystal Substance) Geography.kif 7110-7110 子類 Crystal and Substance
(subclass DrugCandidate Substance) Medicine.kif 3082-3082 子類 DrugCandidate and Substance
(subclass Effluent Substance) Geography.kif 2664-2664 子類 流出的 and Substance
(subclass Electricity Substance) Mid-level-ontology.kif 2556-2556 子類 電力 and Substance
(subclass ExplosiveSubstance Substance) Mid-level-ontology.kif 17862-17862 子類 爆炸性物質 and Substance
(subclass Fuel Substance) Mid-level-ontology.kif 1693-1693 子類 汽油 and Substance
(subclass GumArabic Substance) Economy.kif 4750-4750 子類 阿拉伯樹膠 and Substance
(subclass InsulatorSubstance Substance) engineering.kif 1286-1286 子類 絕緣體物質 and Substance
(subclass LiquidDrop Substance) Geography.kif 7488-7488 子類 LiquidDrop and Substance
(subclass Lubricant Substance) Cars.kif 2975-2975 子類 Lubricant and Substance
(subclass Mineral Substance) Merge.kif 14311-14311 子類 Mineral and Substance
(subclass Mixture Substance) Merge.kif 1182-1182 子類 Mixture and Substance
(subclass NaturalSubstance Substance) Merge.kif 1080-1080 子類 天然物質 and Substance
(subclass NoxiousSubstance Substance) Geography.kif 2762-2762 子類 有毒物質 and Substance
(subclass Powder Substance) Mid-level-ontology.kif 8950-8950 子類 粉末 and Substance
(subclass PureSubstance Substance) Merge.kif 1084-1084 子類 PureSubstance and Substance
(subclass Rock Substance) Mid-level-ontology.kif 17904-17904 子類 岩石 and Substance
(subclass Sugar Substance) Economy.kif 4158-4158 子類 糖 and Substance
(subclass Surfactant Substance) Mid-level-ontology.kif 8822-8822 子類 表面活性劑 and Substance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain catalyst 2 Substance) VirusProteinAndCellPart.kif 255-255 域 催化劑, 2 and Substance
(domain mixtureRatio 1 Substance) Food.kif 1241-1241 域 mixtureRatio, 1 and Substance
(domain mixtureRatio 2 Substance) Food.kif 1242-1242 域 mixtureRatio, 2 and Substance
(domain piece 1 Substance) Merge.kif 951-951 域 片, 1 and Substance
(domain piece 2 Substance) Merge.kif 952-952 域 片, 2 and Substance
(domain reactant 2 Substance) Mid-level-ontology.kif 8797-8797 域 反應, 2 and Substance
(domain reagent 2 Substance) Mid-level-ontology.kif 8804-8804 域 試劑, 2 and Substance
(domainSubclass AmountsFn 1 Substance) Merge.kif 7577-7577 域子類 AmountsFn, 1 and Substance
(domainSubclass allergic 2 Substance) Mid-level-ontology.kif 6225-6225 域子類 allergic, 2 and Substance
(domainSubclass amount 1 Substance) Merge.kif 7592-7592 域子類 amount, 1 and Substance
(domainSubclass concentration 2 Substance) Medicine.kif 225-225 域子類 concentration, 2 and Substance
(domainSubclass groundSubsurfaceType 2 Substance) Geography.kif 4286-4286 域子類 地下表面類型, 2 and Substance
(domainSubclass groundSurfaceType 2 Substance) Geography.kif 4279-4279 域子類 地面類型, 2 and Substance
(domainSubclass ingredient 1 Substance) Merge.kif 1213-1213 域子類 ingredient, 1 and Substance
(domainSubclass ingredient 2 Substance) Merge.kif 1214-1214 域子類 ingredient, 2 and Substance
(domainSubclass material 1 Substance) Merge.kif 978-978 域子類 材料, 1 and Substance
(domainSubclass mixturePartType 1 Substance) Medicine.kif 5858-5858 域子類 mixturePartType, 1 and Substance
(domainSubclass roomTempState 1 Substance) Mid-level-ontology.kif 31675-31675 域子類 roomTempState, 1 and Substance
(domainSubclass substanceElement 2 Substance) Merge.kif 1243-1243 域子類 substanceElement, 2 and Substance

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


(=>
    (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 ?OBJ Substance)
        (attribute ?OBJ ?ATTR)
        (piece ?PART ?OBJ))
    (attribute ?PART ?ATTR))		 Merge.kif 1060-1065
(=>
    (and
        (instance ?X Substance)
        (attribute ?X Insoluble))
    (not
        (modalAttribute
            (exists (?Y ?Z)
                (and
                    (instance ?Y Substance)
                    (instance ?Z Solution)
                    (piece ?X ?Z)
                    (piece ?Y ?Z))) Possibility)))		 Geography.kif 7380-7392
(=>
    (and
        (instance ?X Substance)
        (attribute ?X Soluble))
    (modalAttribute
        (exists (?Y ?Z)
            (and
                (instance ?Y Substance)
                (instance ?Z Solution)
                (piece ?X ?Z)
                (piece ?Y ?Z))) Possibility))		 Geography.kif 7352-7363
(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))		 Merge.kif 17594-17601
(=>
    (and
        (subclass ?OBJECTTYPE Substance)
        (instance ?OBJECT ?OBJECTTYPE)
        (piece ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))		 Merge.kif 1053-1058
(=>
    (instance ?OBJ Substance)
    (exists (?ATTR)
        (and
            (instance ?ATTR PhysicalState)
            (attribute ?OBJ ?ATTR))))		 Merge.kif 17569-17574

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


(=>
    (and
        (instance ?ATTR PhysicalState)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ Substance))		 Merge.kif 17576-17580
(=>
    (and
        (instance ?C Curdling)
        (patient ?C ?X)
        (instance ?X Colloid))
    (exists (?S ?A)
        (and
            (instance ?S Separating)
            (subProcess ?S ?C)
            (patient ?S ?X)
            (result ?S ?A)
            (piece ?A ?X)
            (instance ?A Substance))))		 Food.kif 3199-3211
(=>
    (and
        (instance ?LD LiquidDrop)
        (surface ?S ?LD))
    (modalAttribute
        (exists (?SS ?LL)
            (and
                (instance ?LL Substance)
                (attribute ?LL Liquid)
                (not
                    (equal ?LD ?LL))
                (surface ?SS ?LL)
                (meetsSpatially ?S ?SS))) Unlikely))		 Geography.kif 7497-7509
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PipelineTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?T ?V ?OBJ ?PIPE)
                            (and
                                (instance ?T Transportation)
                                (possesses ?P ?OBJ)
                                (patient ?T ?OBJ)
                                (instance ?OBJ Substance)
                                (possesses ?ORG ?V)
                                (instrument ?T ?PIPE)
                                (instance ?PIPE Pipeline))) ?MEM ?P))))))		 naics.kif 8465-8488
(=>
    (and
        (instance ?X Substance)
        (attribute ?X Insoluble))
    (not
        (modalAttribute
            (exists (?Y ?Z)
                (and
                    (instance ?Y Substance)
                    (instance ?Z Solution)
                    (piece ?X ?Z)
                    (piece ?Y ?Z))) Possibility)))		 Geography.kif 7380-7392
(=>
    (and
        (instance ?X Substance)
        (attribute ?X Soluble))
    (modalAttribute
        (exists (?Y ?Z)
            (and
                (instance ?Y Substance)
                (instance ?Z Solution)
                (piece ?X ?Z)
                (piece ?Y ?Z))) Possibility))		 Geography.kif 7352-7363
(=>
    (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 ?DETERGENT Detergent)
    (hasPurpose ?DETERGENT
        (exists (?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT)
            (and
                (instance ?REMOVE Removing)
                (instance ?SUBSTANCE Substance)
                (patient ?REMOVE ?SUBSTANCE)
                (origin ?REMOVE ?SURFACE)
                (surface ?SURFACE ?OBJECT)))))		 Mid-level-ontology.kif 8848-8857
(=>
    (instance ?H Hydrometer)
    (hasPurpose ?H
        (exists (?M ?S)
            (and
                (instance ?M Measuring)
                (instance ?S Substance)
                (attribute ?S Liquid)
                (patient ?M ?S)
                (instrument ?M ?H)))))		 Cars.kif 3051-3060
(=>
    (instance ?I Inflating)
    (exists (?G1 ?G2 ?V1 ?V2 ?S ?U)
        (and
            (instance ?G1 ?S)
            (instance ?G2 ?S)
            (instance ?S Substance)
            (attribute ?G1 Gas)
            (attribute ?G2 Gas)
            (instance ?U UnitOfVolume)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?I))
                (measure ?G1
                    (MeasureFn ?V1 ?U)))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?I))
                (measure ?G2
                    (MeasureFn ?V2 ?U)))
            (greaterThan ?V2 ?V1))))		 Cars.kif 3606-3622
(=>
    (instance ?OBJ CorpuscularObject)
    (exists (?SUBSTANCE1 ?SUBSTANCE2)
        (and
            (subclass ?SUBSTANCE1 Substance)
            (subclass ?SUBSTANCE2 Substance)
            (material ?SUBSTANCE1 ?OBJ)
            (material ?SUBSTANCE2 ?OBJ)
            (not
                (equal ?SUBSTANCE1 ?SUBSTANCE2)))))		 Merge.kif 1231-1239
(=>
    (instance ?PD PaintingDevice)
    (hasPurpose ?PD
        (exists (?STUFF ?COVER ?SURF ?OBJ)
            (and
                (instance ?STUFF Substance)
                (instance ?COVER Covering)
                (instance ?OBJ Object)
                (surface ?SURF ?OBJ)
                (agent ?COVER ?PD)
                (instrument ?COVER ?STUFF)
                (patient ?COVER ?SURF)))))		 Mid-level-ontology.kif 3262-3273
(=>
    (instance ?POUR Pouring)
    (exists (?LIQUID ?CONTAINER1 ?CONTAINER2)
        (and
            (origin ?POUR ?CONTAINER1)
            (destination ?POUR ?CONTAINER2)
            (instance ?CONTAINER1 Container)
            (instance ?CONTAINER2 Container)
            (not
                (equal ?CONTAINER1 ?CONTAINER2))
            (patient ?POUR ?LIQUID)
            (attribute ?LIQUID Liquid)
            (instance ?LIQUID Substance))))		 Mid-level-ontology.kif 17538-17549
(=>
    (instance ?PW PurifiedWater)
    (exists (?R ?W ?S)
        (and
            (instance ?R Removing)
            (origin ?R ?W)
            (instance ?W Water)
            (patient ?R ?S)
            (instance ?S Substance)
            (part ?S ?W)
            (result ?R ?PW))))		 Food.kif 248-258
(=>
    (instance ?PW PurifiedWater)
    (not
        (exists (?S)
            (and
                (part ?S ?PW)
                (instance ?S Substance)))))		 Food.kif 260-266
(=>
    (instance ?S Sauce)
    (exists (?X)
        (and
            (instance ?X Substance)
            (part ?X ?S)
            (attribute ?X Liquid))))		 Food.kif 2068-2074
(=>
    (instance ?S Sieve)
    (hasPurpose ?S
        (exists (?REMOVE ?MIX ?SUB ?HOLE ?A)
            (and
                (instance ?REMOVE Removing)
                (instance ?MIX Mixture)
                (instance ?SUB Substance)
                (part ?SUB ?MIX)
                (patient ?REMOVE ?SUB)
                (part ?HOLE ?S)
                (instrument ?REMOVE ?HOLE)
                (instance ?A Human)
                (agent ?REMOVE ?A)
                (not
                    (desires ?A ?SUB))))))		 Mid-level-ontology.kif 4528-4543
(=>
    (instance ?S Spark)
    (exists (?E ?G)
        (and
            (instance ?E Electricity)
            (patient ?S ?E)
            (instance ?G Substance)
            (attribute ?G Gas)
            (eventLocated ?S ?G))))		 Cars.kif 424-432
(=>
    (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
(=>
    (instance ?STEM PlantStem)
    (hasPurpose ?STEM
        (exists (?TRAN ?ROOT ?SUB)
            (and
                (instance ?TRAN Transfer)
                (instrument ?TRAN ?STEM)
                (instance ?ROOT PlantRoot)
                (origin ?TRAN ?ROOT)
                (instance ?SUB Substance)
                (attribute ?SUB Fluid)
                (objectTransferred ?TRAN ?SUB)))))		 Mid-level-ontology.kif 9546-9557
(=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))		 Merge.kif 1072-1078
(=>
    (instance ?WEAVE Weaving)
    (hasPurpose ?WEAVE
        (exists (?SUB ?WARP ?WEFT ?OBJ)
            (and
                (instance ?SUB Substance)
                (attribute ?SUB Pliable)
                (patient ?WEAVE ?SUB)
                (part ?WARP ?SUB)
                (part ?WEFT ?SUB)
                (not
                    (equal ?WARP ?WEFT))
                (orientation ?WARP ?WEFT RightAngle)
                (result ?WEAVE ?OBJ)
                (instance ?OBJ Artifact)))))		 Mid-level-ontology.kif 4626-4640
(=>
    (instance ?X ChemicalAttack)
    (exists (?CHEM)
        (and
            (instance ?CHEM Substance)
            (instrument ?X ?CHEM))))		 Mid-level-ontology.kif 21853-21858
(=>
    (instance ?X Emulsion)
    (exists (?L1 ?L2)
        (and
            (instance ?L1 Substance)
            (instance ?L2 Substance)
            (attribute ?L1 Liquid)
            (attribute ?L2 Liquid)
            (not
                (equal ?L1 ?L2)))))		 Mid-level-ontology.kif 21575-21584


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