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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Substance

Sigma KEE - Substance
Substance(substance)
C2H6, Chemical_Mace, Crazy_Glue, French_blue, French_ultramarine, French_ultramarine_blue, Hooker's_green, India_ink, Indian_red, Mace, Microtaggant, PVA, Payne's_gray, Payne's_grey, Pistacia_lentiscus, Prussian_blue, Simoniz, Teflon, Tyrian_purple, Vinylite, Windsor_green, abradant, abrasive, abrasive_material, accelerator, acetate, acetic_acid, acetin, acetum, acetylene, acid, acid_dye, activating_agent, active_placebo, admixture, adobe, adulterant, adulterator, agent, air, alcahest, alizarin_carmine, alizarin_crimson, alizarin_red, alizarin_yellow, alkahest, alkahestic, alkalic, alkaline, alkyne...

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 1003-1009
(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 1000-1000 Substance is exhaustively partitioned into pure substance and mixture
(partition Substance SyntheticSubstance NaturalSubstance) Merge.kif 1001-1001 Substance is exhaustively partitioned into synthetic substance and natural substance
(subclass Substance SelfConnectedObject) Merge.kif 999-999 Substance is a subclass of self connected object

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


(disjoint CorpuscularObject Substance) Merge.kif 1185-1185 Corpuscular object is disjoint from substance
(subclass Antifreeze Substance) Cars.kif 1214-1214 Antifreeze is a subclass of substance
(subclass Beverage Substance) Mid-level-ontology.kif 20905-20905 Beverage is a subclass of substance
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14410-14410 Biologically active substance is a subclass of substance
(subclass BodySubstance Substance) Merge.kif 14542-14542 Body substance is a subclass of substance
(subclass ChemicalAcid Substance) Cars.kif 2471-2471 Chemical acid is a subclass of substance
(subclass ConductorSubstance Substance) engineering.kif 1280-1280 Conductor substance is a subclass of substance
(subclass Crystal Substance) Geography.kif 6798-6798 Crystal is a subclass of substance
(subclass Effluent Substance) Geography.kif 2667-2667 Effluent is a subclass of substance
(subclass Electricity Substance) Mid-level-ontology.kif 2515-2515 Electricity is a subclass of substance
(subclass ExplosiveSubstance Substance) Mid-level-ontology.kif 17278-17278 Explosive substance is a subclass of substance
(subclass Fuel Substance) Mid-level-ontology.kif 1652-1652 Fuel is a subclass of substance
(subclass GumArabic Substance) Economy.kif 4264-4264 Gum arabic is a subclass of substance
(subclass InsulatorSubstance Substance) engineering.kif 1285-1285 Insulator substance is a subclass of substance
(subclass Juice Substance) Food.kif 573-573 Juice is a subclass of substance
(subclass LiquidDrop Substance) Geography.kif 7204-7204 Liquid drop is a subclass of substance
(subclass Lubricant Substance) Cars.kif 2975-2975 Lubricant is a subclass of substance
(subclass Mineral Substance) Merge.kif 14050-14050 Mineral is a subclass of substance
(subclass Mixture Substance) Merge.kif 1140-1140 Mixture is a subclass of substance
(subclass NaturalSubstance Substance) Merge.kif 1038-1038 Natural substance is a subclass of substance
(subclass NoxiousSubstance Substance) Geography.kif 2765-2765 Noxious substance is a subclass of substance
(subclass Powder Substance) Mid-level-ontology.kif 8557-8557 Powder is a subclass of substance
(subclass PureSubstance Substance) Merge.kif 1042-1042 Pure substance is a subclass of substance
(subclass Rock Substance) Mid-level-ontology.kif 17320-17320 Rock is a subclass of substance
(subclass Sugar Substance) Economy.kif 3836-3836 Sugar is a subclass of 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 The number 2 argument of catalyst is an instance of substance
(domain piece 1 Substance) Merge.kif 932-932 The number 1 argument of piece is an instance of substance
(domain piece 2 Substance) Merge.kif 933-933 The number 2 argument of piece is an instance of substance
(domain reactant 2 Substance) Mid-level-ontology.kif 8404-8404 The number 2 argument of reactant is an instance of substance
(domain reagent 2 Substance) Mid-level-ontology.kif 8411-8411 The number 2 argument of reagent is an instance of substance
(domainSubclass AmountsFn 1 Substance) Merge.kif 7487-7487 The number 1 argument of AmountsFn is a subclass of substance
(domainSubclass allergic 2 Substance) Mid-level-ontology.kif 5909-5909 The number 2 argument of allergic is a subclass of substance
(domainSubclass amount 1 Substance) Merge.kif 7502-7502 The number 1 argument of amount is a subclass of substance
(domainSubclass groundSubsurfaceType 2 Substance) Geography.kif 4208-4208 The number 2 argument of ground subsurface type is a subclass of substance
(domainSubclass groundSurfaceType 2 Substance) Geography.kif 4201-4201 The number 2 argument of ground surface type is a subclass of substance
(domainSubclass ingredient 1 Substance) Merge.kif 1171-1171 The number 1 argument of ingredient is a subclass of substance
(domainSubclass ingredient 2 Substance) Merge.kif 1172-1172 The number 2 argument of ingredient is a subclass of substance
(domainSubclass material 1 Substance) Merge.kif 959-959 The number 1 argument of material is a subclass of substance
(domainSubclass substanceElement 2 Substance) Merge.kif 1201-1201 The number 2 argument of substance element is a subclass of 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 1018-1023
(=>
    (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 1011-1016
(=>
    (instance ?OBJ Substance)
    (exists (?ATTR)
        (and
            (instance ?ATTR PhysicalState)
            (attribute ?OBJ ?ATTR))))
Merge.kif 17327-17332

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


(=>
    (and
        (instance ?ATTR PhysicalState)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ Substance))
Merge.kif 17334-17338
(=>
    (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 8455-8464
(=>
    (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 1189-1197
(=>
    (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 3218-3229
(=>
    (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 16979-16990
(=>
    (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 9149-9160
(=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))
Merge.kif 1030-1036
(=>
    (instance ?X ChemicalAttack)
    (exists (?CHEM)
        (and
            (instance ?CHEM Substance)
            (instrument ?X ?CHEM))))
Mid-level-ontology.kif 21335-21340


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