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 的一些物理特质可能会有差异。例如:温度、化学成分、密度等 可从一个部分改变成 另一个部分。 一滩水就是一个例子。") Merge.kif 1058-1061
(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 1051-1057
(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 1049-1049
(partition Substance SyntheticSubstance NaturalSubstance) Merge.kif 1050-1050
(subclass Substance SelfConnectedObject) Merge.kif 1048-1048

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


(disjoint CorpuscularObject Substance) Merge.kif 1244-1244
(subclass Antifreeze Substance) Cars.kif 1259-1259
(subclass Beverage Substance) Mid-level-ontology.kif 18804-18804
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14634-14634
(subclass BodySubstance Substance) Merge.kif 14795-14795
(subclass ChemicalAcid Substance) Cars.kif 2498-2498
(subclass ConductorSubstance Substance) engineering.kif 1285-1285
(subclass Crystal Substance) Geography.kif 6463-6463
(subclass Effluent Substance) Geography.kif 2593-2593
(subclass Electricity Substance) Mid-level-ontology.kif 3020-3020
(subclass ExplosiveSubstance Substance) Mid-level-ontology.kif 15213-15213
(subclass Fuel Substance) Mid-level-ontology.kif 2104-2104
(subclass GumArabic Substance) Economy.kif 4114-4114
(subclass InsulatorSubstance Substance) engineering.kif 1290-1290
(subclass Juice Substance) Food.kif 636-636
(subclass LiquidDrop Substance) Geography.kif 6865-6865
(subclass Lubricant Substance) Cars.kif 2987-2987
(subclass Mineral Substance) Merge.kif 14204-14204
(subclass Mixture Substance) Merge.kif 1216-1216
(subclass NaturalSubstance Substance) Merge.kif 1091-1091
(subclass NoxiousSubstance Substance) Geography.kif 2690-2690
(subclass Powder Substance) Mid-level-ontology.kif 8611-8611
(subclass PureSubstance Substance) Merge.kif 1097-1097
(subclass Rock Substance) Mid-level-ontology.kif 15304-15304
(subclass Sugar Substance) Economy.kif 3829-3829

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 983-983
(domain piece 2 Substance) Merge.kif 984-984
(domain reactant 2 Substance) Mid-level-ontology.kif 8461-8461
(domain reagent 2 Substance) Mid-level-ontology.kif 8469-8469
(domainSubclass groundSubsurfaceType 2 Substance) Geography.kif 4053-4053
(domainSubclass groundSurfaceType 2 Substance) Geography.kif 4046-4046
(domainSubclass material 1 Substance) Merge.kif 1013-1013

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


(<=>
    (instance ?OBJ Substance)
    (exists (?ATTR)
        (and
            (instance ?ATTR PhysicalState)
            (attribute ?OBJ ?ATTR))))
Merge.kif 17868-17873
(=>
    (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 6495-6515
(=>
    (and
        (instance ?OBJ Substance)
        (attribute ?OBJ ?ATTR)
        (part ?PART ?OBJ))
    (attribute ?PART ?ATTR))
Merge.kif 1070-1075
(=>
    (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 6733-6745
(=>
    (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 6705-6716
(=>
    (and
        (subclass ?OBJECTTYPE Substance)
        (instance ?OBJECT ?OBJECTTYPE)
        (part ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))
Merge.kif 1063-1068

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


(<=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))
Merge.kif 1083-1089
(=>
    (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 6874-6886
(=>
    (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 6733-6745
(=>
    (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 6705-6716
(=>
    (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 8512-8521
(=>
    (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 3063-3072
(=>
    (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 1250-1258
(=>
    (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 14835-14846
(=>
    (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 19221-19226


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