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 997-1003
No TPTP formula. May not be expressible in strict first order. pictureList.kif 918-918
No TPTP formula. May not be expressible in strict first order. Merge.kif 994-994 Substance is exhaustively partitioned into pure substance and mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 995-995 Substance is exhaustively partitioned into synthetic substance and natural substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 993-993 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 1179-1179 Corpuscular object is disjoint from substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 1214-1214 Antifreeze is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20881-20881 Beverage is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14403-14403 Biologically active substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14535-14535 Body substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 2471-2471 Chemical acid is a subclass of substance
No TPTP formula. May not be expressible in strict first order. engineering.kif 1280-1280 Conductor substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6798-6798 Crystal is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2667-2667 Effluent is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2511-2511 Electricity is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17254-17254 Explosive substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1648-1648 Fuel is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4264-4264 Gum arabic is a subclass of substance
No TPTP formula. May not be expressible in strict first order. engineering.kif 1285-1285 Insulator substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Food.kif 573-573 Juice is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 7204-7204 Liquid drop is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 2975-2975 Lubricant is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14043-14043 Mineral is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1134-1134 Mixture is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1032-1032 Natural substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2765-2765 Noxious substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8553-8553 Powder is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1036-1036 Pure substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17296-17296 Rock is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 3836-3836 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. VirusProteinAndCellPart.kif 210-210 The number 2 argument of catalyst is an instance of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 926-926 The number 1 argument of piece is an instance of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 927-927 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 8400-8400 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 8407-8407 The number 2 argument of reagent is an instance of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7481-7481 The number 1 argument of AmountsFn is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5905-5905 The number 2 argument of allergic is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7496-7496 The number 1 argument of amount is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 4208-4208 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 4201-4201 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 1165-1165 The number 1 argument of ingredient is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1166-1166 The number 2 argument of ingredient is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 953-953 The number 1 argument of material is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1195-1195 The number 2 argument of substance element is a subclass of substance

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6830-6850
No TPTP formula. May not be expressible in strict first order. Merge.kif 1012-1017
No TPTP formula. May not be expressible in strict first order. Geography.kif 7068-7080
No TPTP formula. May not be expressible in strict first order. Geography.kif 7040-7051
No TPTP formula. May not be expressible in strict first order. Merge.kif 1005-1010
No TPTP formula. May not be expressible in strict first order. Merge.kif 17314-17319

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17321-17325
No TPTP formula. May not be expressible in strict first order. Geography.kif 7213-7225
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 7068-7080
No TPTP formula. May not be expressible in strict first order. Geography.kif 7040-7051
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8451-8460
No TPTP formula. May not be expressible in strict first order. Cars.kif 3051-3060
No TPTP formula. May not be expressible in strict first order. Cars.kif 3610-3626
No TPTP formula. May not be expressible in strict first order. Merge.kif 1183-1191
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3214-3225
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16955-16966
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 9145-9156
No TPTP formula. May not be expressible in strict first order. Merge.kif 1024-1030
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21311-21316


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