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


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 964-970
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 961-961 Substance is exhaustively partitioned into pure substance and mixture
s__partition__3(s__Substance,s__SyntheticSubstance,s__NaturalSubstance)

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

s__subclass(s__Substance,s__SelfConnectedObject)

s__instance(s__SelfConnectedObject,s__SetOrClass)

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

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


s__disjoint(s__CorpuscularObject,s__Substance)

Merge.kif 1127-1127 Corpuscular object is disjoint from substance
s__instance(s__Substance,s__SetOrClass)

s__instance(s__Antifreeze,s__SetOrClass)

s__subclass(s__Antifreeze,s__Substance)

Cars.kif 1219-1219 Antifreeze is a subclass of substance
s__instance(s__Beverage,s__SetOrClass)

s__instance(s__Substance,s__SetOrClass)

s__subclass(s__Beverage,s__Substance)

Mid-level-ontology.kif 19236-19236 Beverage is a subclass of substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__instance(s__Substance,s__SetOrClass)

s__subclass(s__BiologicallyActiveSubstance,s__Substance)

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

s__instance(s__BodySubstance,s__SetOrClass)

s__instance(s__Substance,s__SetOrClass)

Merge.kif 13732-13732 Body substance is a subclass of substance
s__subclass(s__ChemicalAcid,s__Substance)

s__instance(s__ChemicalAcid,s__SetOrClass)

s__instance(s__Substance,s__SetOrClass)

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

s__instance(s__ConductorSubstance,s__SetOrClass)

s__subclass(s__ConductorSubstance,s__Substance)

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

s__instance(s__Crystal,s__SetOrClass)

s__instance(s__Substance,s__SetOrClass)

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

s__instance(s__Effluent,s__SetOrClass)

s__instance(s__Substance,s__SetOrClass)

Geography.kif 2605-2605 Effluent is a subclass of substance
s__instance(s__Substance,s__SetOrClass)

s__subclass(s__Electricity,s__Substance)

s__instance(s__Electricity,s__SetOrClass)

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

s__subclass(s__ExplosiveSubstance,s__Substance)

s__instance(s__ExplosiveSubstance,s__SetOrClass)

Mid-level-ontology.kif 15515-15515 Explosive substance is a subclass of substance
s__instance(s__Fuel,s__SetOrClass)

s__instance(s__Substance,s__SetOrClass)

s__subclass(s__Fuel,s__Substance)

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

s__instance(s__GumArabic,s__SetOrClass)

s__instance(s__Substance,s__SetOrClass)

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

s__instance(s__Substance,s__SetOrClass)

s__instance(s__InsulatorSubstance,s__SetOrClass)

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

s__instance(s__Juice,s__SetOrClass)

s__instance(s__Substance,s__SetOrClass)

Food.kif 591-591 Juice is a subclass of substance
s__subclass(s__LiquidDrop,s__Substance)

s__instance(s__LiquidDrop,s__SetOrClass)

s__instance(s__Substance,s__SetOrClass)

Geography.kif 6854-6854 Liquid drop is a subclass of substance
s__instance(s__Lubricant,s__SetOrClass)

s__subclass(s__Lubricant,s__Substance)

s__instance(s__Substance,s__SetOrClass)

Cars.kif 2950-2950 Lubricant is a subclass of substance
s__instance(s__Mineral,s__SetOrClass)

s__instance(s__Substance,s__SetOrClass)

s__subclass(s__Mineral,s__Substance)

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

s__instance(s__Mixture,s__SetOrClass)

s__instance(s__Substance,s__SetOrClass)

Merge.kif 1101-1101 Mixture is a subclass of substance
s__subclass(s__NaturalSubstance,s__Substance)

s__instance(s__Substance,s__SetOrClass)

s__instance(s__NaturalSubstance,s__SetOrClass)

Merge.kif 999-999 Natural substance is a subclass of substance
s__instance(s__NoxiousSubstance,s__SetOrClass)

s__subclass(s__NoxiousSubstance,s__Substance)

s__instance(s__Substance,s__SetOrClass)

Geography.kif 2702-2702 Noxious substance is a subclass of substance
s__instance(s__Substance,s__SetOrClass)

s__instance(s__Powder,s__SetOrClass)

s__subclass(s__Powder,s__Substance)

Mid-level-ontology.kif 8626-8626 Powder is a subclass of substance
s__instance(s__PureSubstance,s__SetOrClass)

s__subclass(s__PureSubstance,s__Substance)

s__instance(s__Substance,s__SetOrClass)

Merge.kif 1003-1003 Pure substance is a subclass of substance
s__subclass(s__Rock,s__Substance)

s__instance(s__Rock,s__SetOrClass)

s__instance(s__Substance,s__SetOrClass)

Mid-level-ontology.kif 15606-15606 Rock is a subclass of substance
s__subclass(s__Sugar,s__Substance)

s__instance(s__Sugar,s__SetOrClass)

s__instance(s__Substance,s__SetOrClass)

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__piece__m,n__1,s__Substance)

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

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

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

Mid-level-ontology.kif 8484-8484 The number 2 argument of reagent is an instance of substance
s__domainSubclass(s__groundSubsurfaceType__m,n__2,s__Substance)

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

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

Merge.kif 927-927 The number 1 argument of material 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 16338-16343 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 6480-6500
( ! [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 979-984
No TPTP formula. May not be expressible in strict first order. Geography.kif 6718-6730
No TPTP formula. May not be expressible in strict first order. Geography.kif 6690-6701
( ! [V__OBJECT,V__OBJECTTYPE,V__PART] :
   ((s__instance(V__OBJECT,s__Substance) &
       s__instance(V__OBJECTTYPE,s__SetOrClass) &
       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 972-977

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 991-997 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 6863-6875
No TPTP formula. May not be expressible in strict first order. naics.kif 8388-8411
No TPTP formula. May not be expressible in strict first order. Geography.kif 6718-6730
No TPTP formula. May not be expressible in strict first order. Geography.kif 6690-6701
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8527-8536
No TPTP formula. May not be expressible in strict first order. Cars.kif 3026-3035
( ! [V__OBJ] :
   (s__instance(V__OBJ,s__CorpuscularObject) =>
     ( ? [V__SUBSTANCE1, V__SUBSTANCE2] :
       ((s__subclass(V__SUBSTANCE1,s__Substance) &
           s__instance(V__SUBSTANCE1,s__SetOrClass) &
           s__subclass(V__SUBSTANCE2,s__Substance) &
           s__instance(V__SUBSTANCE2,s__SetOrClass) &
           (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 1131-1139
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3797-3808
( ! [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 15096-15107
( ! [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 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