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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 964-970
(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 961-961 partition Substance, PureSubstance and Mixture
(partition Substance SyntheticSubstance NaturalSubstance) Merge.kif 962-962 partition Substance, SyntheticSubstance and NaturalSubstance
(subclass Substance SelfConnectedObject) Merge.kif 960-960 subclass Substance and SelfConnectedObject

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


(disjoint CorpuscularObject Substance) Merge.kif 1127-1127 disjoint CorpuscularObject and Substance
(subclass Antifreeze Substance) Cars.kif 1219-1219 subclass Antifreeze and Substance
(subclass Beverage Substance) Mid-level-ontology.kif 19236-19236 subclass Beverage and Substance
(subclass BiologicallyActiveSubstance Substance) Merge.kif 13600-13600 subclass BiologicallyActiveSubstance and Substance
(subclass BodySubstance Substance) Merge.kif 13732-13732 subclass BodySubstance and Substance
(subclass ChemicalAcid Substance) Cars.kif 2458-2458 subclass ChemicalAcid and Substance
(subclass ConductorSubstance Substance) engineering.kif 1279-1279 subclass ConductorSubstance and Substance
(subclass Crystal Substance) Geography.kif 6448-6448 subclass Crystal and Substance
(subclass Effluent Substance) Geography.kif 2605-2605 subclass Effluent and Substance
(subclass Electricity Substance) Mid-level-ontology.kif 3015-3015 subclass Electricity and Substance
(subclass ExplosiveSubstance Substance) Mid-level-ontology.kif 15515-15515 subclass ExplosiveSubstance and Substance
(subclass Fuel Substance) Mid-level-ontology.kif 2099-2099 subclass Fuel and Substance
(subclass GumArabic Substance) Economy.kif 4114-4114 subclass GumArabic and Substance
(subclass InsulatorSubstance Substance) engineering.kif 1284-1284 subclass InsulatorSubstance and Substance
(subclass Juice Substance) Food.kif 591-591 subclass Juice and Substance
(subclass LiquidDrop Substance) Geography.kif 6854-6854 subclass LiquidDrop and Substance
(subclass Lubricant Substance) Cars.kif 2950-2950 subclass Lubricant and Substance
(subclass Mineral Substance) Merge.kif 13249-13249 subclass Mineral and Substance
(subclass Mixture Substance) Merge.kif 1101-1101 subclass Mixture and Substance
(subclass NaturalSubstance Substance) Merge.kif 999-999 subclass NaturalSubstance and Substance
(subclass NoxiousSubstance Substance) Geography.kif 2702-2702 subclass NoxiousSubstance and Substance
(subclass Powder Substance) Mid-level-ontology.kif 8626-8626 subclass Powder and Substance
(subclass PureSubstance Substance) Merge.kif 1003-1003 subclass PureSubstance and Substance
(subclass Rock Substance) Mid-level-ontology.kif 15606-15606 subclass Rock and Substance
(subclass Sugar Substance) Economy.kif 3829-3829 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 piece 1 Substance) Merge.kif 900-900 domain piece, 1 and Substance
(domain piece 2 Substance) Merge.kif 901-901 domain piece, 2 and Substance
(domain reactant 2 Substance) Mid-level-ontology.kif 8476-8476 domain reactant, 2 and Substance
(domain reagent 2 Substance) Mid-level-ontology.kif 8484-8484 domain reagent, 2 and Substance
(domainSubclass groundSubsurfaceType 2 Substance) Geography.kif 4065-4065 domainSubclass groundSubsurfaceType, 2 and Substance
(domainSubclass groundSurfaceType 2 Substance) Geography.kif 4058-4058 domainSubclass groundSurfaceType, 2 and Substance
(domainSubclass material 1 Substance) Merge.kif 927-927 domainSubclass material, 1 and Substance

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


(<=>
    (instance ?OBJ Substance)
    (exists (?ATTR)
        (and
            (instance ?ATTR PhysicalState)
            (attribute ?OBJ ?ATTR))))		 Merge.kif 16338-16343 instance Object and Substance Attribute instance Attribute and PhysicalState attribute Object and Attribute
(=>
    (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 6480-6500
(=>
    (and
        (instance ?OBJ Substance)
        (attribute ?OBJ ?ATTR)
        (piece ?PART ?OBJ))
    (attribute ?PART ?ATTR))		 Merge.kif 979-984
(=>
    (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 6718-6730
(=>
    (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 6690-6701
(=>
    (and
        (subclass ?OBJECTTYPE Substance)
        (instance ?OBJECT ?OBJECTTYPE)
        (piece ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))		 Merge.kif 972-977

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


(<=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))		 Merge.kif 991-997 instance Entity and SyntheticSubstance Process instance Process and IntentionalProcess result Process and Entity instance Entity and 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)
                (meetsSpatially ?S ?SS))) Unlikely))		 Geography.kif 6863-6875
(=>
    (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 8388-8411
(=>
    (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 6718-6730
(=>
    (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 6690-6701
(=>
    (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 8527-8536
(=>
    (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 3026-3035
(=>
    (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 1131-1139
(=>
    (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 3797-3808
(=>
    (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 15096-15107
(=>
    (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 19653-19658


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