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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Substance

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 1005-1011
(externalImage Substance "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Water_droplet_blue_bg05.jpg") pictureList.kif 918-918
(partition Substance PureSubstance Mixture) Merge.kif 1002-1002 partition Substance, PureSubstance and Mixture
(partition Substance SyntheticSubstance NaturalSubstance) Merge.kif 1003-1003 partition Substance, SyntheticSubstance and NaturalSubstance
(subclass Substance SelfConnectedObject) Merge.kif 1001-1001 subclass Substance and SelfConnectedObject

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


(disjoint CorpuscularObject Substance) Merge.kif 1187-1187 disjoint CorpuscularObject and Substance
(subclass Antifreeze Substance) Cars.kif 1214-1214 subclass Antifreeze and Substance
(subclass Beverage Substance) Mid-level-ontology.kif 20989-20989 subclass Beverage and Substance
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14426-14426 subclass BiologicallyActiveSubstance and Substance
(subclass BodySubstance Substance) Merge.kif 14558-14558 subclass BodySubstance and Substance
(subclass ChemicalAcid Substance) Cars.kif 2471-2471 subclass ChemicalAcid and Substance
(subclass ConductorSubstance Substance) engineering.kif 1280-1280 subclass ConductorSubstance and Substance
(subclass Crystal Substance) Geography.kif 6798-6798 subclass Crystal and Substance
(subclass Effluent Substance) Geography.kif 2667-2667 subclass Effluent and Substance
(subclass Electricity Substance) Mid-level-ontology.kif 2519-2519 subclass Electricity and Substance
(subclass ExplosiveSubstance Substance) Mid-level-ontology.kif 17333-17333 subclass ExplosiveSubstance and Substance
(subclass Fuel Substance) Mid-level-ontology.kif 1658-1658 subclass Fuel and Substance
(subclass GumArabic Substance) Economy.kif 4264-4264 subclass GumArabic and Substance
(subclass InsulatorSubstance Substance) engineering.kif 1285-1285 subclass InsulatorSubstance and Substance
(subclass Juice Substance) Food.kif 573-573 subclass Juice and Substance
(subclass LiquidDrop Substance) Geography.kif 7204-7204 subclass LiquidDrop and Substance
(subclass Lubricant Substance) Cars.kif 2975-2975 subclass Lubricant and Substance
(subclass Mineral Substance) Merge.kif 14066-14066 subclass Mineral and Substance
(subclass Mixture Substance) Merge.kif 1142-1142 subclass Mixture and Substance
(subclass NaturalSubstance Substance) Merge.kif 1040-1040 subclass NaturalSubstance and Substance
(subclass NoxiousSubstance Substance) Geography.kif 2765-2765 subclass NoxiousSubstance and Substance
(subclass Powder Substance) Mid-level-ontology.kif 8599-8599 subclass Powder and Substance
(subclass PureSubstance Substance) Merge.kif 1044-1044 subclass PureSubstance and Substance
(subclass Rock Substance) Mid-level-ontology.kif 17375-17375 subclass Rock and Substance
(subclass Sugar Substance) Economy.kif 3836-3836 subclass Sugar 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 210-210 domain catalyst, 2 and Substance
(domain piece 1 Substance) Merge.kif 934-934 domain piece, 1 and Substance
(domain piece 2 Substance) Merge.kif 935-935 domain piece, 2 and Substance
(domain reactant 2 Substance) Mid-level-ontology.kif 8446-8446 domain reactant, 2 and Substance
(domain reagent 2 Substance) Mid-level-ontology.kif 8453-8453 domain reagent, 2 and Substance
(domainSubclass AmountsFn 1 Substance) Merge.kif 7489-7489 domainSubclass AmountsFn, 1 and Substance
(domainSubclass allergic 2 Substance) Mid-level-ontology.kif 5932-5932 domainSubclass allergic, 2 and Substance
(domainSubclass amount 1 Substance) Merge.kif 7504-7504 domainSubclass amount, 1 and Substance
(domainSubclass groundSubsurfaceType 2 Substance) Geography.kif 4208-4208 domainSubclass groundSubsurfaceType, 2 and Substance
(domainSubclass groundSurfaceType 2 Substance) Geography.kif 4201-4201 domainSubclass groundSurfaceType, 2 and Substance
(domainSubclass ingredient 1 Substance) Merge.kif 1173-1173 domainSubclass ingredient, 1 and Substance
(domainSubclass ingredient 2 Substance) Merge.kif 1174-1174 domainSubclass ingredient, 2 and Substance
(domainSubclass material 1 Substance) Merge.kif 961-961 domainSubclass material, 1 and Substance
(domainSubclass substanceElement 2 Substance) Merge.kif 1203-1203 domainSubclass 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)
        (and
            (instance ?CLNT Collection)
            (memberCount ?CLNT ?X)
            (greaterThanOrEqualTo ?X 4)
            (=>
                (member ?MBR ?CLNT)
                (and
                    (part ?MBR ?Sub)
                    (meetsSpatially ?C ?MBR))))))
Geography.kif 6830-6850
(=>
    (and
        (instance ?OBJ Substance)
        (attribute ?OBJ ?ATTR)
        (piece ?PART ?OBJ))
    (attribute ?PART ?ATTR))
Merge.kif 1020-1025
(=>
    (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 7068-7080
(=>
    (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 7040-7051
(=>
    (and
        (subclass ?OBJECTTYPE Substance)
        (instance ?OBJECT ?OBJECTTYPE)
        (piece ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))
Merge.kif 1013-1018
(=>
    (instance ?OBJ Substance)
    (exists (?ATTR)
        (and
            (instance ?ATTR PhysicalState)
            (attribute ?OBJ ?ATTR))))
Merge.kif 17321-17326

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


(=>
    (and
        (instance ?ATTR PhysicalState)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ Substance))
Merge.kif 17328-17332
(=>
    (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 7213-7225
(=>
    (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)
                            (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 7068-7080
(=>
    (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 7040-7051
(=>
    (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 8497-8506
(=>
    (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 3610-3626
(=>
    (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 1191-1199
(=>
    (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 3223-3234
(=>
    (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 17032-17043
(=>
    (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 ?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 9192-9203
(=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))
Merge.kif 1032-1038
(=>
    (instance ?X ChemicalAttack)
    (exists (?CHEM)
        (and
            (instance ?CHEM Substance)
            (instrument ?X ?CHEM))))
Mid-level-ontology.kif 21419-21424


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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