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, PVC, 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...

appearance as argument number 1
-------------------------


(documentation Substance ChineseLanguage "一个每一部分在各个相关方面跟所有同类都相似的 Object。 更确切而言, Substance是当一个东西的部分只有任意散件时 - 任何部分的特质跟它整体的特质相似时。 这就是。 注:但 Substance 的一些物理特质可能会有差异。例如:温度、化学成分、密度等 可从一个部分改变成 另一个部分。 一滩水就是一个例子。") Merge.kif 1075-1078
(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 1068-1074
(externalImage Substance "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Water_droplet_blue_bg05.jpg") pictureList.kif 918-918 "http://upload.wikimedia.org/wikipedia/commons/f/fc/ Water_droplet_blue_bg05.jpg" is a URL depicting substance
(partition Substance PureSubstance Mixture) Merge.kif 1066-1066 Substance is exhaustively partitioned into pure substance and mixture
(partition Substance SyntheticSubstance NaturalSubstance) Merge.kif 1067-1067 Substance is exhaustively partitioned into synthetic substance and natural substance
(subclass Substance SelfConnectedObject) Merge.kif 1065-1065 Substance is a subclass of self connected object

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


(disjoint CorpuscularObject Substance) Merge.kif 1261-1261 Corpuscular object is disjoint from substance
(subclass Antifreeze Substance) Cars.kif 1218-1218 Antifreeze is a subclass of substance
(subclass Beverage Substance) Mid-level-ontology.kif 19223-19223 Beverage is a subclass of substance
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14771-14771 Biologically active substance is a subclass of substance
(subclass BodySubstance Substance) Merge.kif 14932-14932 Body substance is a subclass of substance
(subclass ChemicalAcid Substance) Cars.kif 2457-2457 Chemical acid is a subclass of substance
(subclass ConductorSubstance Substance) engineering.kif 1275-1275 Conductor substance is a subclass of substance
(subclass Crystal Substance) Geography.kif 6432-6432 Crystal is a subclass of substance
(subclass Effluent Substance) Geography.kif 2593-2593 Effluent is a subclass of substance
(subclass Electricity Substance) Mid-level-ontology.kif 3020-3020 Electricity is a subclass of substance
(subclass ExplosiveSubstance Substance) Mid-level-ontology.kif 15514-15514 Explosive substance is a subclass of substance
(subclass Fuel Substance) Mid-level-ontology.kif 2104-2104 Fuel is a subclass of substance
(subclass GumArabic Substance) Economy.kif 4114-4114 Gum arabic is a subclass of substance
(subclass InsulatorSubstance Substance) engineering.kif 1280-1280 Insulator substance is a subclass of substance
(subclass Juice Substance) Food.kif 636-636 Juice is a subclass of substance
(subclass LiquidDrop Substance) Geography.kif 6838-6838 Liquid drop is a subclass of substance
(subclass Lubricant Substance) Cars.kif 2946-2946 Lubricant is a subclass of substance
(subclass Mineral Substance) Merge.kif 14341-14341 Mineral is a subclass of substance
(subclass Mixture Substance) Merge.kif 1233-1233 Mixture is a subclass of substance
(subclass NaturalSubstance Substance) Merge.kif 1108-1108 Natural substance is a subclass of substance
(subclass NoxiousSubstance Substance) Geography.kif 2690-2690 Noxious substance is a subclass of substance
(subclass Powder Substance) Mid-level-ontology.kif 8623-8623 Powder is a subclass of substance
(subclass PureSubstance Substance) Merge.kif 1114-1114 Pure substance is a subclass of substance
(subclass Rock Substance) Mid-level-ontology.kif 15605-15605 Rock is a subclass of substance
(subclass Sugar Substance) Economy.kif 3829-3829 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 piece 1 Substance) Merge.kif 997-997 The number 1 argument of piece is an instance of substance
(domain piece 2 Substance) Merge.kif 998-998 The number 2 argument of piece is an instance of substance
(domain reactant 2 Substance) Mid-level-ontology.kif 8473-8473 The number 2 argument of reactant is an instance of substance
(domain reagent 2 Substance) Mid-level-ontology.kif 8481-8481 The number 2 argument of reagent is an instance of substance
(domainSubclass groundSubsurfaceType 2 Substance) Geography.kif 4052-4052 The number 2 argument of ground subsurface type is a subclass of substance
(domainSubclass groundSurfaceType 2 Substance) Geography.kif 4045-4045 The number 2 argument of ground surface type is a subclass of substance
(domainSubclass material 1 Substance) Merge.kif 1027-1027 The number 1 argument of material is a subclass of substance

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


(<=>
    (instance ?OBJ Substance)
    (exists (?ATTR)
        (and
            (instance ?ATTR PhysicalState)
            (attribute ?OBJ ?ATTR))))
Merge.kif 18006-18011 An object is an instance of substance if and only if there exists an entity such that the entity is an instance of physical state and the entity is an attribute of the object
(=>
    (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 6464-6484
(=>
    (and
        (instance ?OBJ Substance)
        (attribute ?OBJ ?ATTR)
        (part ?PART ?OBJ))
    (attribute ?PART ?ATTR))
Merge.kif 1087-1092
(=>
    (and
        (instance ?X Substance)
        (attribute ?X Insoluble))
    (not
        (modalAttribute
            (exists (?Y ?Z)
                (and
                    (instance ?Y Substance)
                    (instance ?Z Solution)
                    (part ?X ?Z)
                    (part ?Y ?Z))) Possibility)))
Geography.kif 6702-6714
(=>
    (and
        (instance ?X Substance)
        (attribute ?X Soluble))
    (modalAttribute
        (exists (?Y ?Z)
            (and
                (instance ?Y Substance)
                (instance ?Z Solution)
                (part ?X ?Z)
                (part ?Y ?Z))) Possibility))
Geography.kif 6674-6685
(=>
    (and
        (subclass ?OBJECTTYPE Substance)
        (instance ?OBJECT ?OBJECTTYPE)
        (part ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))
Merge.kif 1080-1085

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


(<=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))
Merge.kif 1100-1106 An entity is an instance of synthetic substance if and only if there exists a process such that the process is an instance of intentional process and the entity is a result of the process and the entity is an instance of substance
(=>
    (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)
                (meetSpatially ?S ?SS))) Unlikely))
Geography.kif 6847-6859
(=>
    (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 8390-8413
(=>
    (and
        (instance ?X Substance)
        (attribute ?X Insoluble))
    (not
        (modalAttribute
            (exists (?Y ?Z)
                (and
                    (instance ?Y Substance)
                    (instance ?Z Solution)
                    (part ?X ?Z)
                    (part ?Y ?Z))) Possibility)))
Geography.kif 6702-6714
(=>
    (and
        (instance ?X Substance)
        (attribute ?X Soluble))
    (modalAttribute
        (exists (?Y ?Z)
            (and
                (instance ?Y Substance)
                (instance ?Z Solution)
                (part ?X ?Z)
                (part ?Y ?Z))) Possibility))
Geography.kif 6674-6685
(=>
    (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 8524-8533
(=>
    (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 3022-3031
(=>
    (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 1267-1275
(=>
    (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 3801-3812
(=>
    (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 15095-15106
(=>
    (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 ?X ChemicalAttack)
    (exists (?CHEM)
        (and
            (instance ?CHEM Substance)
            (instrument ?X ?CHEM))))
Mid-level-ontology.kif 19640-19645


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners