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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Substance
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 1040-1046
(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 1037-1037 Substance est compl�tement d�compos� en substance pure + mixture
(partition Substance SyntheticSubstance NaturalSubstance) Merge.kif 1038-1038 Substance est compl�tement d�compos� en SyntheticSubstance + NaturalSubstance
(subclass Substance SelfConnectedObject) Merge.kif 1036-1036 Substance est une sous-classe de objet en une partie

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


(disjoint CorpuscularObject Substance) Merge.kif 1222-1222 Objet corpusculaire est disjoint de substance
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14809-14809 Substance biologique active est une sous-classe de substance
(subclass BodySubstance Substance) Merge.kif 14944-14944 Substance corporel est une sous-classe de substance
(subclass ChemicalAcid Substance) Cars.kif 2455-2455 ChemicalAcid est une sous-classe de substance
(subclass ConductorSubstance Substance) engineering.kif 1594-1594 ConductorSubstance est une sous-classe de substance
(subclass Creatinine Substance) Medicine.kif 3796-3796 Creatinine est une sous-classe de substance
(subclass Crystal Substance) Geography.kif 7276-7276 Crystal est une sous-classe de substance
(subclass DrugCandidate Substance) Medicine.kif 3083-3083 DrugCandidate est une sous-classe de substance
(subclass Effluent Substance) Geography.kif 2652-2652 Effluent est une sous-classe de substance
(subclass Electricity Substance) Mid-level-ontology.kif 3019-3019 Electricity est une sous-classe de substance
(subclass ExplosiveSubstance Substance) Mid-level-ontology.kif 19433-19433 ExplosiveSubstance est une sous-classe de substance
(subclass Fuel Substance) Mid-level-ontology.kif 2156-2156 Fuel est une sous-classe de substance
(subclass GumArabic Substance) Economy.kif 5090-5090 GumArabic est une sous-classe de substance
(subclass InsulatorSubstance Substance) engineering.kif 1599-1599 InsulatorSubstance est une sous-classe de substance
(subclass LiquidDrop Substance) Geography.kif 7654-7654 LiquidDrop est une sous-classe de substance
(subclass Lubricant Substance) Cars.kif 3034-3034 Lubricant est une sous-classe de substance
(subclass Mineral Substance) Merge.kif 14449-14449 Mineral est une sous-classe de substance
(subclass Mixture Substance) Merge.kif 1177-1177 Mixture est une sous-classe de substance
(subclass NaturalSubstance Substance) Merge.kif 1075-1075 NaturalSubstance est une sous-classe de substance
(subclass NoxiousSubstance Substance) Geography.kif 2750-2750 NoxiousSubstance est une sous-classe de substance
(subclass Powder Substance) Mid-level-ontology.kif 10156-10156 Powder est une sous-classe de substance
(subclass PureSubstance Substance) Merge.kif 1079-1079 Substance pure est une sous-classe de substance
(subclass Rock Substance) Mid-level-ontology.kif 19475-19475 Rock est une sous-classe de substance
(subclass Sugar Substance) Economy.kif 4495-4495 Sugar est une sous-classe de substance
(subclass Surfactant Substance) Mid-level-ontology.kif 10028-10028 Surfactant est une sous-classe de 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 259-259 Le nombre 2 argument de catalyst est une instance de substance
(domain mixtureRatio 1 Substance) Food.kif 1242-1242 Le nombre 1 argument de mixtureRatio est une instance de substance
(domain mixtureRatio 2 Substance) Food.kif 1243-1243 Le nombre 2 argument de mixtureRatio est une instance de substance
(domain piece 1 Substance) Merge.kif 946-946 Le nombre 1 argument de piece est une instance de substance
(domain piece 2 Substance) Merge.kif 947-947 Le nombre 2 argument de piece est une instance de substance
(domain reactant 2 Substance) Mid-level-ontology.kif 10003-10003 Le nombre 2 argument de reactant est une instance de substance
(domain reagent 2 Substance) Mid-level-ontology.kif 10010-10010 Le nombre 2 argument de reagent est une instance de substance
(domainSubclass AmountsFn 1 Substance) Merge.kif 7612-7612 Le nombre 1 argument de AmountsFn est une sous-classe de substance
(domainSubclass MohsScaleFn 1 Substance) Mid-level-ontology.kif 10445-10445 Le nombre 1 argument de MohsScaleFn est une sous-classe de substance
(domainSubclass VickersHardnessFn 1 Substance) Mid-level-ontology.kif 10470-10470 Le nombre 1 argument de VickersHardnessFn est une sous-classe de substance
(domainSubclass allergic 2 Substance) Mid-level-ontology.kif 7162-7162 Le nombre 2 argument de allergic est une sous-classe de substance
(domainSubclass amount 1 Substance) Merge.kif 7628-7628 Le nombre 1 argument de amount est une sous-classe de substance
(domainSubclass concentration 2 Substance) Medicine.kif 225-225 Le nombre 2 argument de concentration est une sous-classe de substance
(domainSubclass groundSubsurfaceType 2 Substance) Geography.kif 4356-4356 Le nombre 2 argument de groundSubsurfaceType est une sous-classe de substance
(domainSubclass groundSurfaceType 2 Substance) Geography.kif 4349-4349 Le nombre 2 argument de groundSurfaceType est une sous-classe de substance
(domainSubclass ingredient 1 Substance) Merge.kif 1208-1208 Le nombre 1 argument de ingredient est une sous-classe de substance
(domainSubclass ingredient 2 Substance) Merge.kif 1209-1209 Le nombre 2 argument de ingredient est une sous-classe de substance
(domainSubclass material 1 Substance) Merge.kif 973-973 Le nombre 1 argument de material est une sous-classe de substance
(domainSubclass mixturePartType 1 Substance) Medicine.kif 5871-5871 Le nombre 1 argument de mixturePartType est une sous-classe de substance
(domainSubclass roomTempState 1 Substance) Mid-level-ontology.kif 33622-33622 Le nombre 1 argument de roomTempState est une sous-classe de substance
(domainSubclass substanceElement 2 Substance) Merge.kif 1238-1238 Le nombre 2 argument de substanceElement est une sous-classe de substance

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 4328-4341
(=>
    (and
        (attribute ?G CorrosiveSubstance)
        (instance ?G Substance))
    (capability Corrosion instrument ?G))
Transportation.kif 4246-4250
(=>
    (and
        (attribute ?G RadioactiveSubstance)
        (instance ?G Substance))
    (exists (?R)
        (and
            (instance ?R RadiatingNuclear)
            (origin ?R ?G))))
Transportation.kif 4232-4239
(=>
    (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 4201-4225
(=>
    (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 7308-7328
(=>
    (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 4178-4191
(=>
    (and
        (instance ?OBJ Substance)
        (attribute ?OBJ ?ATTR)
        (piece ?PART ?OBJ))
    (attribute ?PART ?ATTR))
Merge.kif 1055-1060
(=>
    (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 7546-7558
(=>
    (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 7518-7529
(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))
Merge.kif 17762-17769
(=>
    (and
        (subclass ?OBJECTTYPE Substance)
        (instance ?OBJECT ?OBJECTTYPE)
        (piece ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))
Merge.kif 1048-1053
(=>
    (instance ?OBJ Substance)
    (exists (?ATTR)
        (and
            (instance ?ATTR PhysicalState)
            (attribute ?OBJ ?ATTR))))
Merge.kif 17737-17742

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


(=>
    (and
        (instance ?ATTR PhysicalState)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ Substance))
Merge.kif 17744-17748
(=>
    (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 7663-7675
(=>
    (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 7546-7558
(=>
    (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 7518-7529
(=>
    (attribute ?G FlammableLiquid)
    (and
        (instance ?G Substance)
        (attribute ?G Liquid)
        (attribute ?G Flammable)))
Transportation.kif 4154-4159
(=>
    (attribute ?G FlammableSolid)
    (and
        (instance ?G Substance)
        (attribute ?G Solid)
        (attribute ?G Flammable)))
Transportation.kif 4166-4171
(=>
    (attribute ?G HazardousGases)
    (and
        (instance ?G Substance)
        (attribute ?G Gas)
        (capability Combustion resource ?G)
        (capability Damaging resource ?G)
        (capability Corrosion resource ?G)))
Transportation.kif 4140-4147
(=>
    (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 4261-4270
(=>
    (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 1226-1234
(=>
    (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 1067-1073

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