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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1587-1590
No TPTP formula. May not be expressible in strict first order. Merge.kif 969-975
No TPTP formula. May not be expressible in strict first order. pictureList.kif 918-918 "http://upload.wikimedia.org/wikipedia/commons/f/fc/ Water_droplet_blue_bg05.jpg" is a URL depicting substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 966-966 Substance is exhaustively partitioned into pure substance and mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 967-967 Substance is exhaustively partitioned into synthetic substance and natural substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 965-965 Substance is a subclass of self connected object

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1132-1132 Corpuscular object is disjoint from substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 1218-1218 Antifreeze is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19224-19224 Beverage is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 13509-13509 Biologically active substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 13641-13641 Body substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 2457-2457 Chemical acid is a subclass of substance
No TPTP formula. May not be expressible in strict first order. engineering.kif 1275-1275 Conductor substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6448-6448 Crystal is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2605-2605 Effluent is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3015-3015 Electricity is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15514-15514 Explosive substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2099-2099 Fuel is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4114-4114 Gum arabic is a subclass of substance
No TPTP formula. May not be expressible in strict first order. engineering.kif 1280-1280 Insulator substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Food.kif 635-635 Juice is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6854-6854 Liquid drop is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 2949-2949 Lubricant is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 13158-13158 Mineral is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1106-1106 Mixture is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1004-1004 Natural substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2702-2702 Noxious substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8625-8625 Powder is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1008-1008 Pure substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15605-15605 Rock is a subclass of substance
No TPTP formula. May not be expressible in strict first order. 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 905-905 The number 1 argument of piece is an instance of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 906-906 The number 2 argument of piece is an instance of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8475-8475 The number 2 argument of reactant is an instance of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8483-8483 The number 2 argument of reagent is an instance of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 4065-4065 The number 2 argument of ground subsurface type is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 4058-4058 The number 2 argument of ground surface type is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 932-932 The number 1 argument of material is a subclass of substance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16245-16250 An object is an instance of substance if and only if there exists an entity such that the entity is an instance of physical state and the entity is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Geography.kif 6480-6500
No TPTP formula. May not be expressible in strict first order. Merge.kif 984-989
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. Merge.kif 977-982

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 996-1002 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 8526-8535
No TPTP formula. May not be expressible in strict first order. Cars.kif 3025-3034
No TPTP formula. May not be expressible in strict first order. Merge.kif 1136-1144
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3797-3808
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15095-15106
No TPTP formula. May not be expressible in strict first order. Cars.kif 424-432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19641-19646


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