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


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 1055-1061
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 165-169
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 194-199
No TPTP formula. May not be expressible in strict first order. pictureList.kif 917-917
No TPTP formula. May not be expressible in strict first order. Merge.kif 1052-1052 Substance is exhaustively partitioned into pure substance and mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 1053-1053 Substance is exhaustively partitioned into synthetic substance and natural substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1051-1051 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 1237-1237 Corpuscular object is disjoint from substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14824-14824 Biologically active substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14959-14959 Body substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 2455-2455 Chemical acid is a subclass of substance
No TPTP formula. May not be expressible in strict first order. engineering.kif 1594-1594 Conductor substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3796-3796 Creatinine is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 7447-7447 Crystal is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3083-3083 Drug candidate is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2822-2822 Effluent is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3019-3019 Electricity is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19433-19433 Explosive substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2156-2156 Fuel is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 5090-5090 Gum arabic is a subclass of substance
No TPTP formula. May not be expressible in strict first order. engineering.kif 1599-1599 Insulator substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 7825-7825 Liquid drop is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 3034-3034 Lubricant is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14464-14464 Mineral is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1192-1192 Mixture is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1090-1090 Natural substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2920-2920 Noxious substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10156-10156 Powder is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1094-1094 Pure substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19475-19475 Rock is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4495-4495 Sugar is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10028-10028 Surfactant 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. VirusProteinAndCellPart.kif 259-259 The number 2 argument of catalyst is an instance of substance
No TPTP formula. May not be expressible in strict first order. Food.kif 1242-1242 The number 1 argument of mixture ratio is an instance of substance
No TPTP formula. May not be expressible in strict first order. Food.kif 1243-1243 The number 2 argument of mixture ratio is an instance of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 961-961 The number 1 argument of piece is an instance of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 962-962 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 10003-10003 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 10010-10010 The number 2 argument of reagent is an instance of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7627-7627 The number 1 argument of Amounts fn is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10445-10445 The number 1 argument of Mohs Scale is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10470-10470 The number 1 argument of Vickers Hardness is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7162-7162 The number 2 argument of allergic is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7643-7643 The number 1 argument of amount is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 225-225 The number 2 argument of concentration is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 4526-4526 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 4519-4519 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 1223-1223 The number 1 argument of ingredient is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1224-1224 The number 2 argument of ingredient is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 988-988 The number 1 argument of material is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5871-5871 The number 1 argument of mixture part is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33620-33620 The number 1 argument of room temperature state is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1253-1253 The number 2 argument of substance element is a subclass of substance

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 4330-4343
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4248-4252
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4234-4241
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4203-4227
No TPTP formula. May not be expressible in strict first order. Geography.kif 7479-7499
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4180-4193
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. QoSontology.kif 514-524
No TPTP formula. May not be expressible in strict first order. Geography.kif 7717-7729
No TPTP formula. May not be expressible in strict first order. Geography.kif 7689-7700
No TPTP formula. May not be expressible in strict first order. Merge.kif 17777-17784
No TPTP formula. May not be expressible in strict first order. Merge.kif 1063-1068
No TPTP formula. May not be expressible in strict first order. Merge.kif 17752-17757

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17759-17763
No TPTP formula. May not be expressible in strict first order. Food.kif 3206-3218
No TPTP formula. May not be expressible in strict first order. Geography.kif 7834-7846
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 7717-7729
No TPTP formula. May not be expressible in strict first order. Geography.kif 7689-7700
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4156-4161
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4168-4173
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4142-4149
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5015-5030
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4263-4272
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10054-10063
No TPTP formula. May not be expressible in strict first order. Cars.kif 3110-3119
No TPTP formula. May not be expressible in strict first order. Cars.kif 3667-3683
No TPTP formula. May not be expressible in strict first order. Merge.kif 1241-1249
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3705-3716
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19089-19100
No TPTP formula. May not be expressible in strict first order. Food.kif 248-258
No TPTP formula. May not be expressible in strict first order. Food.kif 260-266
No TPTP formula. May not be expressible in strict first order. Food.kif 2074-2080
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4973-4988
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 4994-5009
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10875-10886
No TPTP formula. May not be expressible in strict first order. Merge.kif 1082-1088

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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