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 997-1003
(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 994-994 物质 详尽无遗地 partition純物质混合物
(partition Substance SyntheticSubstance NaturalSubstance) Merge.kif 995-995 物质 详尽无遗地 partition合成物质天然物质
(subclass Substance SelfConnectedObject) Merge.kif 993-993 物质自身连接物体subclass

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


(disjoint CorpuscularObject Substance) Merge.kif 1179-1179 躯体性物体 和 % 2 是 disjoint
(subclass Antifreeze Substance) Cars.kif 1214-1214 Antifreeze物质subclass
(subclass Beverage Substance) Mid-level-ontology.kif 20881-20881 饮料物质subclass
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14403-14403 生物活性物质物质subclass
(subclass BodySubstance Substance) Merge.kif 14535-14535 身体物质物质subclass
(subclass ChemicalAcid Substance) Cars.kif 2471-2471 化学酸物质subclass
(subclass ConductorSubstance Substance) engineering.kif 1280-1280 导体物质物质subclass
(subclass Crystal Substance) Geography.kif 6798-6798 水晶物质subclass
(subclass Effluent Substance) Geography.kif 2667-2667 流出的物质subclass
(subclass Electricity Substance) Mid-level-ontology.kif 2511-2511 电力物质subclass
(subclass ExplosiveSubstance Substance) Mid-level-ontology.kif 17254-17254 爆炸性物质物质subclass
(subclass Fuel Substance) Mid-level-ontology.kif 1648-1648 汽油物质subclass
(subclass GumArabic Substance) Economy.kif 4264-4264 阿拉伯树胶物质subclass
(subclass InsulatorSubstance Substance) engineering.kif 1285-1285 绝缘体物质物质subclass
(subclass Juice Substance) Food.kif 573-573 Juice物质subclass
(subclass LiquidDrop Substance) Geography.kif 7204-7204 液体滴物质subclass
(subclass Lubricant Substance) Cars.kif 2975-2975 Lubricant物质subclass
(subclass Mineral Substance) Merge.kif 14043-14043 矿物物质subclass
(subclass Mixture Substance) Merge.kif 1134-1134 混合物物质subclass
(subclass NaturalSubstance Substance) Merge.kif 1032-1032 天然物质物质subclass
(subclass NoxiousSubstance Substance) Geography.kif 2765-2765 有毒物质物质subclass
(subclass Powder Substance) Mid-level-ontology.kif 8553-8553 粉末物质subclass
(subclass PureSubstance Substance) Merge.kif 1036-1036 純物质物质subclass
(subclass Rock Substance) Mid-level-ontology.kif 17296-17296 岩石物质subclass
(subclass Sugar Substance) Economy.kif 3836-3836 物质subclass

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 催化剂 的 2 数量 是 物质instance
(domain piece 1 Substance) Merge.kif 926-926 的 1 数量 是 物质instance
(domain piece 2 Substance) Merge.kif 927-927 的 2 数量 是 物质instance
(domain reactant 2 Substance) Mid-level-ontology.kif 8400-8400 反应 的 2 数量 是 物质instance
(domain reagent 2 Substance) Mid-level-ontology.kif 8407-8407 试剂 的 2 数量 是 物质instance
(domainSubclass AmountsFn 1 Substance) Merge.kif 7481-7481 AmountsFn 的 1 数量 是 物质subclass
(domainSubclass allergic 2 Substance) Mid-level-ontology.kif 5905-5905 allergic 的 2 数量 是 物质subclass
(domainSubclass amount 1 Substance) Merge.kif 7496-7496 amount 的 1 数量 是 物质subclass
(domainSubclass groundSubsurfaceType 2 Substance) Geography.kif 4208-4208 地下表面类型 的 2 数量 是 物质subclass
(domainSubclass groundSurfaceType 2 Substance) Geography.kif 4201-4201 地面类型 的 2 数量 是 物质subclass
(domainSubclass ingredient 1 Substance) Merge.kif 1165-1165 ingredient 的 1 数量 是 物质subclass
(domainSubclass ingredient 2 Substance) Merge.kif 1166-1166 ingredient 的 2 数量 是 物质subclass
(domainSubclass material 1 Substance) Merge.kif 953-953 材料 的 1 数量 是 物质subclass
(domainSubclass substanceElement 2 Substance) Merge.kif 1195-1195 substanceElement 的 2 数量 是 物质subclass

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 1012-1017
(=>
    (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 1005-1010
(=>
    (instance ?OBJ Substance)
    (exists (?ATTR)
        (and
            (instance ?ATTR PhysicalState)
            (attribute ?OBJ ?ATTR))))
Merge.kif 17314-17319

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


(=>
    (and
        (instance ?ATTR PhysicalState)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ Substance))
Merge.kif 17321-17325
(=>
    (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 8451-8460
(=>
    (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 1183-1191
(=>
    (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 3214-3225
(=>
    (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 16955-16966
(=>
    (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 9145-9156
(=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))
Merge.kif 1024-1030
(=>
    (instance ?X ChemicalAttack)
    (exists (?CHEM)
        (and
            (instance ?CHEM Substance)
            (instrument ?X ?CHEM))))
Mid-level-ontology.kif 21311-21316


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 3.0 is open source software produced by Articulate Software and its partners