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. Merge.kif 1075-1078
No TPTP formula. May not be expressible in strict first order. Merge.kif 1068-1074
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 1066-1066 Substance is exhaustively partitioned into pure substance and mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 1067-1067 Substance is exhaustively partitioned into synthetic substance and natural substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1065-1065 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 1261-1261 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 19223-19223 Beverage is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14771-14771 Biologically active substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14932-14932 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 6432-6432 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 15514-15514 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 1280-1280 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 6838-6838 Liquid drop is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 2946-2946 Lubricant is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14341-14341 Mineral is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1233-1233 Mixture is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1108-1108 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 8623-8623 Powder is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1114-1114 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 997-997 The number 1 argument of piece is an instance of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 998-998 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 8473-8473 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 8481-8481 The number 2 argument of reagent is an instance of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 4052-4052 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 4045-4045 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 1027-1027 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 18006-18011 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 6464-6484
No TPTP formula. May not be expressible in strict first order. Merge.kif 1087-1092
No TPTP formula. May not be expressible in strict first order. Geography.kif 6702-6714
No TPTP formula. May not be expressible in strict first order. Geography.kif 6674-6685
No TPTP formula. May not be expressible in strict first order. Merge.kif 1080-1085

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1100-1106 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 6847-6859
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 6702-6714
No TPTP formula. May not be expressible in strict first order. Geography.kif 6674-6685
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8524-8533
No TPTP formula. May not be expressible in strict first order. Cars.kif 3022-3031
No TPTP formula. May not be expressible in strict first order. Merge.kif 1267-1275
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3801-3812
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 19640-19645


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