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 1055-1061
(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 1052-1052 物質純物質 + 混合物exhaustively partitioned
(partition Substance SyntheticSubstance NaturalSubstance) Merge.kif 1053-1053 物質SyntheticSubstance + NaturalSubstanceexhaustively partitioned
(subclass Substance SelfConnectedObject) Merge.kif 1051-1051 物質自己接続オブジェクトsubclass では

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


(disjoint CorpuscularObject Substance) Merge.kif 1237-1237 微粒子オブジェクト物質disjoint では
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14824-14824 生物活性物質物質subclass では
(subclass BodySubstance Substance) Merge.kif 14959-14959 体物質物質subclass では
(subclass ChemicalAcid Substance) Cars.kif 2455-2455 ChemicalAcid物質subclass では
(subclass ConductorSubstance Substance) engineering.kif 1594-1594 ConductorSubstance物質subclass では
(subclass Creatinine Substance) Medicine.kif 3796-3796 Creatinine物質subclass では
(subclass Crystal Substance) Geography.kif 7414-7414 Crystal物質subclass では
(subclass DrugCandidate Substance) Medicine.kif 3083-3083 DrugCandidate物質subclass では
(subclass Effluent Substance) Geography.kif 2789-2789 Effluent物質subclass では
(subclass Electricity Substance) Mid-level-ontology.kif 3019-3019 Electricity物質subclass では
(subclass ExplosiveSubstance Substance) Mid-level-ontology.kif 19433-19433 ExplosiveSubstance物質subclass では
(subclass Fuel Substance) Mid-level-ontology.kif 2156-2156 Fuel物質subclass では
(subclass GumArabic Substance) Economy.kif 5090-5090 GumArabic物質subclass では
(subclass InsulatorSubstance Substance) engineering.kif 1599-1599 InsulatorSubstance物質subclass では
(subclass LiquidDrop Substance) Geography.kif 7792-7792 LiquidDrop物質subclass では
(subclass Lubricant Substance) Cars.kif 3034-3034 Lubricant物質subclass では
(subclass Mineral Substance) Merge.kif 14464-14464 ミネラル物質subclass では
(subclass Mixture Substance) Merge.kif 1192-1192 混合物物質subclass では
(subclass NaturalSubstance Substance) Merge.kif 1090-1090 NaturalSubstance物質subclass では
(subclass NoxiousSubstance Substance) Geography.kif 2887-2887 NoxiousSubstance物質subclass では
(subclass Powder Substance) Mid-level-ontology.kif 10156-10156 Powder物質subclass では
(subclass PureSubstance Substance) Merge.kif 1094-1094 純物質物質subclass では
(subclass Rock Substance) Mid-level-ontology.kif 19475-19475 Rock物質subclass では
(subclass Sugar Substance) Economy.kif 4495-4495 Sugar物質subclass では
(subclass Surfactant Substance) Mid-level-ontology.kif 10028-10028 Surfactant物質subclass では

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 259-259 catalyst の数値 2 引数は 物質instance では
(domain mixtureRatio 1 Substance) Food.kif 1242-1242 mixtureRatio の数値 1 引数は 物質instance では
(domain mixtureRatio 2 Substance) Food.kif 1243-1243 mixtureRatio の数値 2 引数は 物質instance では
(domain piece 1 Substance) Merge.kif 961-961 piece の数値 1 引数は 物質instance では
(domain piece 2 Substance) Merge.kif 962-962 piece の数値 2 引数は 物質instance では
(domain reactant 2 Substance) Mid-level-ontology.kif 10003-10003 reactant の数値 2 引数は 物質instance では
(domain reagent 2 Substance) Mid-level-ontology.kif 10010-10010 reagent の数値 2 引数は 物質instance では
(domainSubclass AmountsFn 1 Substance) Merge.kif 7627-7627 AmountsFn の数値 1 引数は 物質subclass では
(domainSubclass MohsScaleFn 1 Substance) Mid-level-ontology.kif 10445-10445 MohsScaleFn の数値 1 引数は 物質subclass では
(domainSubclass VickersHardnessFn 1 Substance) Mid-level-ontology.kif 10470-10470 VickersHardnessFn の数値 1 引数は 物質subclass では
(domainSubclass allergic 2 Substance) Mid-level-ontology.kif 7162-7162 allergic の数値 2 引数は 物質subclass では
(domainSubclass amount 1 Substance) Merge.kif 7643-7643 amount の数値 1 引数は 物質subclass では
(domainSubclass concentration 2 Substance) Medicine.kif 225-225 concentration の数値 2 引数は 物質subclass では
(domainSubclass groundSubsurfaceType 2 Substance) Geography.kif 4493-4493 groundSubsurfaceType の数値 2 引数は 物質subclass では
(domainSubclass groundSurfaceType 2 Substance) Geography.kif 4486-4486 groundSurfaceType の数値 2 引数は 物質subclass では
(domainSubclass ingredient 1 Substance) Merge.kif 1223-1223 ingredient の数値 1 引数は 物質subclass では
(domainSubclass ingredient 2 Substance) Merge.kif 1224-1224 ingredient の数値 2 引数は 物質subclass では
(domainSubclass material 1 Substance) Merge.kif 988-988 material の数値 1 引数は 物質subclass では
(domainSubclass mixturePartType 1 Substance) Medicine.kif 5871-5871 mixturePartType の数値 1 引数は 物質subclass では
(domainSubclass roomTempState 1 Substance) Mid-level-ontology.kif 33620-33620 roomTempState の数値 1 引数は 物質subclass では
(domainSubclass substanceElement 2 Substance) Merge.kif 1253-1253 substanceElement の数値 2 引数は 物質subclass では

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


(=>
    (and
        (attribute ?G ?H)
        (instance ?G Substance)
        (instance ?H HazardousMaterialTransportAttribute)
        (not
            (attribute ?G HazardousExplosives))
        (not
            (attribute ?G HazardousGases))
        (not
            (attribute ?G FlammableLiquid))
        (not
            (attribute ?G FlammableSolid))
        (not
            (attribute ?G OxidizingSubstance))
        (not
            (attribute ?G ToxicandInfectiousSubstance))
        (not
            (attribute ?G RadioactiveSubstance))
        (not
            (attribute ?G CorrosiveSubstance)))
    (equal ?H HazardousMiscellaneous))
Transportation.kif 4330-4343
(=>
    (and
        (attribute ?G CorrosiveSubstance)
        (instance ?G Substance))
    (capability Corrosion instrument ?G))
Transportation.kif 4248-4252
(=>
    (and
        (attribute ?G RadioactiveSubstance)
        (instance ?G Substance))
    (exists (?R)
        (and
            (instance ?R RadiatingNuclear)
            (origin ?R ?G))))
Transportation.kif 4234-4241
(=>
    (and
        (attribute ?G ToxicandInfectiousSubstance)
        (or
            (instance ?G Substance)
            (instance ?G Microorganism)))
    (exists (?O ?P ?I ?CLASS)
        (and
            (or
                (instance ?O Human)
                (instance ?O Animal))
            (orientation ?G ?O Near)
            (or
                (instance ?P Inhaling)
                (instance ?P Ingesting)
                (instance ?P Touching))
            (agent ?P ?O)
            (patient ?P ?G)
            (causes ?P ?I)
            (patient ?I ?O)
            (instance ?I ?CLASS)
            (capability ?CLASS resource ?G)
            (or
                (subclass ?CLASS Injuring)
                (subclass ?CLASS Death)))))
Transportation.kif 4203-4227
(=>
    (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 7446-7466
(=>
    (and
        (instance ?G Substance)
        (attribute ?G OxidizingSubstance))
    (exists (?R)
        (and
            (instance ?R Releasing)
            (patient ?R Oxygen)
            (capability Releasing origin ?G)
            (modalAttribute
                (exists (?C)
                    (and
                        (instance ?C Combustion)
                        (causes ?R ?C))) Possibility))))
Transportation.kif 4180-4193
(=>
    (and
        (instance ?OBJ Substance)
        (attribute ?OBJ ?ATTR)
        (piece ?PART ?OBJ))
    (attribute ?PART ?ATTR))
Merge.kif 1070-1075
(=>
    (and
        (instance ?P ThreeDPrinting)
        (instance ?X Substance)
        (resource ?P ?X))
    (exists (?R)
        (and
            (instance ?R Reservoir)
            (part ?R ?P)
            (origin ?P ?R)
            (located ?X ?R))))
QoSontology.kif 514-524
(=>
    (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 7684-7696
(=>
    (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 7656-7667
(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))
Merge.kif 17777-17784
(=>
    (and
        (subclass ?OBJECTTYPE Substance)
        (instance ?OBJECT ?OBJECTTYPE)
        (piece ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))
Merge.kif 1063-1068
(=>
    (instance ?OBJ Substance)
    (exists (?ATTR)
        (and
            (instance ?ATTR PhysicalState)
            (attribute ?OBJ ?ATTR))))
Merge.kif 17752-17757

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


(=>
    (and
        (instance ?ATTR PhysicalState)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ Substance))
Merge.kif 17759-17763
(=>
    (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 3206-3218
(=>
    (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 7801-7813
(=>
    (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 7684-7696
(=>
    (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 7656-7667
(=>
    (attribute ?G FlammableLiquid)
    (and
        (instance ?G Substance)
        (attribute ?G Liquid)
        (attribute ?G Flammable)))
Transportation.kif 4156-4161
(=>
    (attribute ?G FlammableSolid)
    (and
        (instance ?G Substance)
        (attribute ?G Solid)
        (attribute ?G Flammable)))
Transportation.kif 4168-4173
(=>
    (attribute ?G HazardousGases)
    (and
        (instance ?G Substance)
        (attribute ?G Gas)
        (capability Combustion resource ?G)
        (capability Damaging resource ?G)
        (capability Corrosion resource ?G)))
Transportation.kif 4142-4149
(=>
    (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 ?C Corrosion)
    (exists (?S ?R ?P)
        (and
            (instance ?S Substance)
            (patient ?C ?S)
            (instance ?R Removing)
            (patient ?R ?P)
            (part ?P ?S)
            (result ?C ?R))))
Transportation.kif 4263-4272
(=>
    (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 10054-10063
(=>
    (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 3110-3119
(=>
    (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 3667-3683
(=>
    (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 1241-1249
(=>
    (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 3705-3716
(=>
    (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 19089-19100
(=>
    (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 2074-2080
(=>
    (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 4973-4988
(=>
    (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 4994-5009
(=>
    (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 10875-10886
(=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))
Merge.kif 1082-1088

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