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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Substance
Substance(padaartha)

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 1038-1044
(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 1035-1035
(partition Substance SyntheticSubstance NaturalSubstance) Merge.kif 1036-1036
(subclass Substance SelfConnectedObject) Merge.kif 1034-1034

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


(disjoint CorpuscularObject Substance) Merge.kif 1220-1220
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14775-14775
(subclass BodySubstance Substance) Merge.kif 14910-14910
(subclass ChemicalAcid Substance) Cars.kif 2455-2455
(subclass ConductorSubstance Substance) engineering.kif 1594-1594
(subclass Creatinine Substance) Medicine.kif 3778-3778
(subclass Crystal Substance) Geography.kif 7179-7179
(subclass DrugCandidate Substance) Medicine.kif 3067-3067
(subclass Effluent Substance) Geography.kif 2652-2652
(subclass Electricity Substance) Mid-level-ontology.kif 3025-3025
(subclass ExplosiveSubstance Substance) Mid-level-ontology.kif 19440-19440
(subclass Fuel Substance) Mid-level-ontology.kif 2162-2162
(subclass GumArabic Substance) Economy.kif 5085-5085
(subclass InsulatorSubstance Substance) engineering.kif 1599-1599
(subclass LiquidDrop Substance) Geography.kif 7557-7557
(subclass Lubricant Substance) Cars.kif 3034-3034
(subclass Mineral Substance) Merge.kif 14415-14415
(subclass Mixture Substance) Merge.kif 1175-1175
(subclass NaturalSubstance Substance) Merge.kif 1073-1073
(subclass NoxiousSubstance Substance) Geography.kif 2750-2750
(subclass Powder Substance) Mid-level-ontology.kif 10176-10176
(subclass PureSubstance Substance) Merge.kif 1077-1077
(subclass Rock Substance) Mid-level-ontology.kif 19482-19482
(subclass Sugar Substance) Economy.kif 4493-4493
(subclass Surfactant Substance) Mid-level-ontology.kif 10048-10048

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
(domain mixtureRatio 1 Substance) Food.kif 1241-1241
(domain mixtureRatio 2 Substance) Food.kif 1242-1242
(domain piece 1 Substance) Merge.kif 944-944
(domain piece 2 Substance) Merge.kif 945-945
(domain reactant 2 Substance) Mid-level-ontology.kif 10023-10023
(domain reagent 2 Substance) Mid-level-ontology.kif 10030-10030
(domainSubclass AmountsFn 1 Substance) Merge.kif 7587-7587
(domainSubclass MohsScaleFn 1 Substance) Mid-level-ontology.kif 10465-10465
(domainSubclass VickersHardnessFn 1 Substance) Mid-level-ontology.kif 10490-10490
(domainSubclass allergic 2 Substance) Mid-level-ontology.kif 7188-7188
(domainSubclass amount 1 Substance) Merge.kif 7603-7603
(domainSubclass concentration 2 Substance) Medicine.kif 225-225
(domainSubclass groundSubsurfaceType 2 Substance) Geography.kif 4355-4355
(domainSubclass groundSurfaceType 2 Substance) Geography.kif 4348-4348
(domainSubclass ingredient 1 Substance) Merge.kif 1206-1206
(domainSubclass ingredient 2 Substance) Merge.kif 1207-1207
(domainSubclass material 1 Substance) Merge.kif 971-971
(domainSubclass mixturePartType 1 Substance) Medicine.kif 5843-5843
(domainSubclass roomTempState 1 Substance) Mid-level-ontology.kif 33366-33366
(domainSubclass substanceElement 2 Substance) Merge.kif 1236-1236

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 4324-4337
(=>
    (and
        (attribute ?G CorrosiveSubstance)
        (instance ?G Substance))
    (capability Corrosion instrument ?G))		 Transportation.kif 4242-4246
(=>
    (and
        (attribute ?G RadioactiveSubstance)
        (instance ?G Substance))
    (exists (?R)
        (and
            (instance ?R RadiatingNuclear)
            (origin ?R ?G))))		 Transportation.kif 4228-4235
(=>
    (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 4197-4221
(=>
    (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 7211-7231
(=>
    (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 4174-4187
(=>
    (and
        (instance ?OBJ Substance)
        (attribute ?OBJ ?ATTR)
        (piece ?PART ?OBJ))
    (attribute ?PART ?ATTR))		 Merge.kif 1053-1058
(=>
    (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 513-523
(=>
    (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 7449-7461
(=>
    (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 7421-7432
(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))		 Merge.kif 17728-17735
(=>
    (and
        (subclass ?OBJECTTYPE Substance)
        (instance ?OBJECT ?OBJECTTYPE)
        (piece ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))		 Merge.kif 1046-1051
(=>
    (instance ?OBJ Substance)
    (exists (?ATTR)
        (and
            (instance ?ATTR PhysicalState)
            (attribute ?OBJ ?ATTR))))		 Merge.kif 17703-17708

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


(=>
    (and
        (instance ?ATTR PhysicalState)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ Substance))		 Merge.kif 17710-17714
(=>
    (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 7566-7578
(=>
    (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 7449-7461
(=>
    (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 7421-7432
(=>
    (attribute ?G FlammableLiquid)
    (and
        (instance ?G Substance)
        (attribute ?G Liquid)
        (attribute ?G Flammable)))		 Transportation.kif 4150-4155
(=>
    (attribute ?G FlammableSolid)
    (and
        (instance ?G Substance)
        (attribute ?G Solid)
        (attribute ?G Flammable)))		 Transportation.kif 4162-4167
(=>
    (attribute ?G HazardousGases)
    (and
        (instance ?G Substance)
        (attribute ?G Gas)
        (capability Combustion resource ?G)
        (capability Damaging resource ?G)
        (capability Corrosion resource ?G)))		 Transportation.kif 4136-4143
(=>
    (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 5041-5056
(=>
    (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 4257-4266
(=>
    (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 10074-10083
(=>
    (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 1224-1232
(=>
    (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 3731-3742
(=>
    (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 19096-19107
(=>
    (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 4999-5014
(=>
    (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 5020-5035
(=>
    (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 10895-10906
(=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))		 Merge.kif 1065-1071

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