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, Sostanza, Substancia, 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...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1058-1061
No TPTP formula. May not be expressible in strict first order. Merge.kif 1051-1057
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 1049-1049 Substance is exhaustively partitioned into pure substance and mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 1050-1050 Substance is exhaustively partitioned into synthetic substance and natural substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1048-1048 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 1244-1244 Corpuscular object is disjoint from substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 1259-1259 Antifreeze is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18804-18804 Beverage is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14634-14634 Biologically active substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14795-14795 Body substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 2498-2498 Chemical acid is a subclass of substance
No TPTP formula. May not be expressible in strict first order. engineering.kif 1285-1285 Conductor substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6463-6463 Crystal is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2593-2593 Effluent is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3020-3020 Electricity is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15213-15213 Explosive substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2104-2104 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 1290-1290 Insulator substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Food.kif 636-636 Juice is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6865-6865 Liquid drop is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 2987-2987 Lubricant is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14204-14204 Mineral is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1216-1216 Mixture is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1091-1091 Natural substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2690-2690 Noxious substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8611-8611 Powder is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1097-1097 Pure substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15304-15304 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 983-983 The number 1 argument of piece is an instance of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 984-984 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 8461-8461 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 8469-8469 The number 2 argument of reagent is an instance of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 4053-4053 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 4046-4046 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 1013-1013 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 17868-17873 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 6495-6515
No TPTP formula. May not be expressible in strict first order. Merge.kif 1070-1075
No TPTP formula. May not be expressible in strict first order. Geography.kif 6733-6745
No TPTP formula. May not be expressible in strict first order. Geography.kif 6705-6716
No TPTP formula. May not be expressible in strict first order. Merge.kif 1063-1068

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1083-1089 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 6874-6886
No TPTP formula. May not be expressible in strict first order. naics.kif 8390-8413
No TPTP formula. May not be expressible in strict first order. Geography.kif 6733-6745
No TPTP formula. May not be expressible in strict first order. Geography.kif 6705-6716
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8512-8521
No TPTP formula. May not be expressible in strict first order. Cars.kif 3063-3072
No TPTP formula. May not be expressible in strict first order. Merge.kif 1250-1258
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 14835-14846
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 19221-19226


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