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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
-------------------------


s__documentation(s__Substance,s__ChineseLanguage,'"一个每一部分在各个相关方面跟所有同类都相似的 Object。 更确切而言, Substance是当一个东西的部分只有任意散件时 - 任何部分的特质跟它整体的特质相似时。 这就是。 注:但 Substance 的一些物理特质可能会有差异。例如:温度、化学成分、密度等 可从一个部分改变成 另一个部分。 一滩水就是一个例子。"')

chinese_format.kif 1587-1590
s__documentation(s__Substance,s__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 967-973
s__externalImage(s__Substance,'"http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Water_droplet_blue_bg05.jpg"')

pictureList.kif 918-918
s__partition__3(s__Substance,s__PureSubstance,s__Mixture)

Merge.kif 964-964 Substance is exhaustively partitioned into pure substance and mixture
s__partition__3(s__Substance,s__SyntheticSubstance,s__NaturalSubstance)

Merge.kif 965-965 Substance is exhaustively partitioned into synthetic substance and natural substance
s__instance(s__Substance,s__Class)

s__instance(s__SelfConnectedObject,s__Class)

s__subclass(s__Substance,s__SelfConnectedObject)

Merge.kif 963-963 Substance is a subclass of self connected object

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


s__disjoint(s__CorpuscularObject,s__Substance)

Merge.kif 1149-1149 Corpuscular object is disjoint from substance
s__instance(s__Substance,s__Class)

s__instance(s__Antifreeze,s__Class)

s__subclass(s__Antifreeze,s__Substance)

Cars.kif 1214-1214 Antifreeze is a subclass of substance
s__instance(s__Substance,s__Class)

s__instance(s__Beverage,s__Class)

s__subclass(s__Beverage,s__Substance)

Mid-level-ontology.kif 20736-20736 Beverage is a subclass of substance
s__instance(s__Substance,s__Class)

s__subclass(s__BiologicallyActiveSubstance,s__Substance)

s__instance(s__BiologicallyActiveSubstance,s__Class)

Merge.kif 14031-14031 Biologically active substance is a subclass of substance
s__subclass(s__BodySubstance,s__Substance)

s__instance(s__Substance,s__Class)

s__instance(s__BodySubstance,s__Class)

Merge.kif 14163-14163 Body substance is a subclass of substance
s__instance(s__Substance,s__Class)

s__subclass(s__ChemicalAcid,s__Substance)

s__instance(s__ChemicalAcid,s__Class)

Cars.kif 2471-2471 Chemical acid is a subclass of substance
s__instance(s__Substance,s__Class)

s__instance(s__ConductorSubstance,s__Class)

s__subclass(s__ConductorSubstance,s__Substance)

engineering.kif 1280-1280 Conductor substance is a subclass of substance
s__subclass(s__Crystal,s__Substance)

s__instance(s__Substance,s__Class)

s__instance(s__Crystal,s__Class)

Geography.kif 6640-6640 Crystal is a subclass of substance
s__subclass(s__Effluent,s__Substance)

s__instance(s__Substance,s__Class)

s__instance(s__Effluent,s__Class)

Geography.kif 2626-2626 Effluent is a subclass of substance
s__instance(s__Electricity,s__Class)

s__instance(s__Substance,s__Class)

s__subclass(s__Electricity,s__Substance)

Mid-level-ontology.kif 2494-2494 Electricity is a subclass of substance
s__instance(s__Substance,s__Class)

s__instance(s__ExplosiveSubstance,s__Class)

s__subclass(s__ExplosiveSubstance,s__Substance)

Mid-level-ontology.kif 17109-17109 Explosive substance is a subclass of substance
s__instance(s__Substance,s__Class)

s__subclass(s__Fuel,s__Substance)

s__instance(s__Fuel,s__Class)

Mid-level-ontology.kif 1631-1631 Fuel is a subclass of substance
s__subclass(s__GumArabic,s__Substance)

s__instance(s__Substance,s__Class)

s__instance(s__GumArabic,s__Class)

Economy.kif 4114-4114 Gum arabic is a subclass of substance
s__instance(s__Substance,s__Class)

s__subclass(s__InsulatorSubstance,s__Substance)

s__instance(s__InsulatorSubstance,s__Class)

engineering.kif 1285-1285 Insulator substance is a subclass of substance
s__subclass(s__Juice,s__Substance)

s__instance(s__Substance,s__Class)

s__instance(s__Juice,s__Class)

Food.kif 573-573 Juice is a subclass of substance
s__instance(s__LiquidDrop,s__Class)

s__instance(s__Substance,s__Class)

s__subclass(s__LiquidDrop,s__Substance)

Geography.kif 7046-7046 Liquid drop is a subclass of substance
s__instance(s__Substance,s__Class)

s__instance(s__Lubricant,s__Class)

s__subclass(s__Lubricant,s__Substance)

Cars.kif 2975-2975 Lubricant is a subclass of substance
s__instance(s__Mineral,s__Class)

s__instance(s__Substance,s__Class)

s__subclass(s__Mineral,s__Substance)

Merge.kif 13671-13671 Mineral is a subclass of substance
s__subclass(s__Mixture,s__Substance)

s__instance(s__Substance,s__Class)

s__instance(s__Mixture,s__Class)

Merge.kif 1104-1104 Mixture is a subclass of substance
s__instance(s__Substance,s__Class)

s__subclass(s__NaturalSubstance,s__Substance)

s__instance(s__NaturalSubstance,s__Class)

Merge.kif 1002-1002 Natural substance is a subclass of substance
s__instance(s__NoxiousSubstance,s__Class)

s__instance(s__Substance,s__Class)

s__subclass(s__NoxiousSubstance,s__Substance)

Geography.kif 2724-2724 Noxious substance is a subclass of substance
s__instance(s__Substance,s__Class)

s__instance(s__Powder,s__Class)

s__subclass(s__Powder,s__Substance)

Mid-level-ontology.kif 8529-8529 Powder is a subclass of substance
s__subclass(s__PureSubstance,s__Substance)

s__instance(s__Substance,s__Class)

s__instance(s__PureSubstance,s__Class)

Merge.kif 1006-1006 Pure substance is a subclass of substance
s__instance(s__Substance,s__Class)

s__subclass(s__Rock,s__Substance)

s__instance(s__Rock,s__Class)

Mid-level-ontology.kif 17151-17151 Rock is a subclass of substance
s__instance(s__Sugar,s__Class)

s__subclass(s__Sugar,s__Substance)

s__instance(s__Substance,s__Class)

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
-------------------------


s__domain(s__catalyst__m,n__2,s__Substance)

VirusProteinAndCellPart.kif 210-210 The number 2 argument of catalyst is an instance of substance
s__domain(s__piece__m,n__1,s__Substance)

Merge.kif 902-902 The number 1 argument of piece is an instance of substance
s__domain(s__piece__m,n__2,s__Substance)

Merge.kif 903-903 The number 2 argument of piece is an instance of substance
s__domain(s__reactant__m,n__2,s__Substance)

Mid-level-ontology.kif 8376-8376 The number 2 argument of reactant is an instance of substance
s__domain(s__reagent__m,n__2,s__Substance)

Mid-level-ontology.kif 8383-8383 The number 2 argument of reagent is an instance of substance
s__domainSubclass(s__AmountsFn__m,n__1,s__Substance)

Merge.kif 7363-7363 The number 1 argument of AmountsFn is a subclass of substance
s__domainSubclass(s__allergic__m,n__2,s__Substance)

Mid-level-ontology.kif 5882-5882 The number 2 argument of allergic is a subclass of substance
s__domainSubclass(s__amount__m,n__1,s__Substance)

Merge.kif 7378-7378 The number 1 argument of amount is a subclass of substance
s__domainSubclass(s__groundSubsurfaceType__m,n__2,s__Substance)

Geography.kif 4124-4124 The number 2 argument of ground subsurface type is a subclass of substance
s__domainSubclass(s__groundSurfaceType__m,n__2,s__Substance)

Geography.kif 4117-4117 The number 2 argument of ground surface type is a subclass of substance
s__domainSubclass(s__ingredient__m,n__1,s__Substance)

Merge.kif 1135-1135 The number 1 argument of ingredient is a subclass of substance
s__domainSubclass(s__ingredient__m,n__2,s__Substance)

Merge.kif 1136-1136 The number 2 argument of ingredient is a subclass of substance
s__domainSubclass(s__material__m,n__1,s__Substance)

Merge.kif 929-929 The number 1 argument of material is a subclass of substance
s__domainSubclass(s__substanceElement__m,n__2,s__Substance)

Merge.kif 1165-1165 The number 2 argument of substance element is a subclass of substance

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


( ! [V__OBJ] :
   (((s__instance(V__OBJ,s__Substance) =>
         ( ? [V__ATTR] :
           ((s__instance(V__ATTR,s__PhysicalState) &
               s__attribute(V__OBJ,V__ATTR)))))
     &
     (( ? [V__ATTR] :
         ((s__instance(V__ATTR,s__PhysicalState) &
             s__attribute(V__OBJ,V__ATTR))))
     =>
     s__instance(V__OBJ,s__Substance)))
)
)

Merge.kif 16882-16887 An object is an instance of substance if and only if there exists an attribute such that the attribute is an instance of physical state and the attribute is an attribute of the object
( ! [V__MBR,V__C,V__S,V__X,V__Sub] :
   (((s__instance(V__MBR,s__Object) &
         s__instance(V__X,s__Integer))
       =>
       (((s__instance(V__C,s__Crystal) &
             s__attribute(V__C,s__MonoCrystalline) &
             s__instance(V__Sub,s__Substance) &
             s__attribute(V__Sub,s__Solid) &
             s__attribute(V__Sub,s__PolyCrystalline) &
             s__instance(V__S,s__Substance) &
             s__surface(V__S,V__Sub)
           &
           ~(s__part(V__C,V__S)))
       =>
       (( ? [V__CLNT] :
           ((s__instance(V__CLNT,s__Collection) &
               s__memberCount(V__CLNT,V__X)
             &
             s__greaterThanOrEqualTo(V__X,n__4)
           &
           (s__member(V__MBR,V__CLNT)
           =>
           ((s__part(V__MBR,V__Sub)
             &
             s__meetsSpatially(V__C,V__MBR)))))))))))
)
)

Geography.kif 6672-6692
( ! [V__OBJ,V__ATTR,V__PART] :
   (((s__instance(V__ATTR,s__Attribute) &
         s__instance(V__PART,s__Substance))
       =>
       (((s__instance(V__OBJ,s__Substance) &
             s__attribute(V__OBJ,V__ATTR)
           &
           s__piece(V__PART,V__OBJ))
       =>
       (s__attribute(V__PART,V__ATTR)))))
)
)

Merge.kif 982-987
No TPTP formula. May not be expressible in strict first order. Geography.kif 6910-6922
No TPTP formula. May not be expressible in strict first order. Geography.kif 6882-6893
( ! [V__OBJECT,V__OBJECTTYPE,V__PART] :
   (((s__instance(V__OBJECT,s__Substance) &
         s__instance(V__OBJECTTYPE,s__Class) &
         s__instance(V__PART,s__Substance))
       =>
       (((s__subclass(V__OBJECTTYPE,s__Substance) &
             s__instance(V__OBJECT,V__OBJECTTYPE)
           &
           s__piece(V__PART,V__OBJECT))
       =>
       (s__instance(V__PART,V__OBJECTTYPE)))))
)
)

Merge.kif 975-980

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


( ! [V__SUBSTANCE] :
   (((s__instance(V__SUBSTANCE,s__SyntheticSubstance) =>
         ( ? [V__PROCESS] :
           ((s__instance(V__PROCESS,s__IntentionalProcess) &
               s__result(V__PROCESS,V__SUBSTANCE)
             &
             s__instance(V__SUBSTANCE,s__Substance)))))
     &
     (( ? [V__PROCESS] :
         ((s__instance(V__PROCESS,s__IntentionalProcess) &
             s__result(V__PROCESS,V__SUBSTANCE)
           &
           s__instance(V__SUBSTANCE,s__Substance))))
     =>
     s__instance(V__SUBSTANCE,s__SyntheticSubstance)))
)
)

Merge.kif 994-1000 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
No TPTP formula. May not be expressible in strict first order. Geography.kif 7055-7067
No TPTP formula. May not be expressible in strict first order. naics.kif 8465-8488
No TPTP formula. May not be expressible in strict first order. Geography.kif 6910-6922
No TPTP formula. May not be expressible in strict first order. Geography.kif 6882-6893
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8427-8436
No TPTP formula. May not be expressible in strict first order. Cars.kif 3051-3060
No TPTP formula. May not be expressible in strict first order. Cars.kif 3610-3626
( ! [V__OBJ] :
   ((s__instance(V__OBJ,s__CorpuscularObject) =>
       (( ? [V__SUBSTANCE1, V__SUBSTANCE2] :
           ((s__subclass(V__SUBSTANCE1,s__Substance) &
               s__instance(V__SUBSTANCE1,s__Class) &
               s__subclass(V__SUBSTANCE2,s__Substance) &
               s__instance(V__SUBSTANCE2,s__Class) &
               (s__subclass(V__SUBSTANCE1,s__Substance) &
                 s__subclass(V__SUBSTANCE2,s__Substance) &
                 s__material(V__SUBSTANCE1,V__OBJ)
               &
               s__material(V__SUBSTANCE2,V__OBJ)
             &
             ~((V__SUBSTANCE1 = V__SUBSTANCE2))))))))
)
)

Merge.kif 1153-1161
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3197-3208
( ! [V__POUR] :
   ((s__instance(V__POUR,s__Pouring) =>
       (( ? [V__LIQUID, V__CONTAINER1, V__CONTAINER2] :
           ((s__origin(V__POUR,V__CONTAINER1)
             &
             s__destination(V__POUR,V__CONTAINER2)
           &
           s__instance(V__CONTAINER1,s__Container) &
           s__instance(V__CONTAINER2,s__Container) &
           ~((V__CONTAINER1 = V__CONTAINER2))
           &
           s__patient(V__POUR,V__LIQUID)
         &
         s__attribute(V__LIQUID,s__Liquid) &
         s__instance(V__LIQUID,s__Substance))))))
)
)

Mid-level-ontology.kif 16810-16821
( ! [V__S] :
   ((s__instance(V__S,s__Spark) =>
       (( ? [V__E, V__G] :
           ((s__instance(V__E,s__Electricity) &
               s__patient(V__S,V__E)
             &
             s__instance(V__G,s__Substance) &
             s__attribute(V__G,s__Gas) &
             s__eventLocated(V__S,V__G))))))
)
)

Cars.kif 424-432
( ! [V__X] :
   ((s__instance(V__X,s__ChemicalAttack) =>
       (( ? [V__CHEM] :
           ((s__instance(V__CHEM,s__Substance) &
               s__instrument(V__X,V__CHEM))))))
   )
)

Mid-level-ontology.kif 21166-21171


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