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 1016-1022
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 1013-1013 Substance is exhaustively partitioned into pure substance and mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 1014-1014 Substance is exhaustively partitioned into synthetic substance and natural substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1012-1012 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 1198-1198 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 21366-21366 Beverage is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14533-14533 Biologically active substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14665-14665 Body substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21473-21473 Butter is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Food.kif 757-757 Cheese 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 6810-6810 Crystal is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2669-2669 Effluent is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2521-2521 Electricity is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17681-17681 Explosive substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1660-1660 Fuel is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4268-4268 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 7216-7216 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 14735-14735 Meat is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14173-14173 Mineral is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1153-1153 Mixture is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1051-1051 Natural substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2767-2767 Noxious substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8909-8909 Powder 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 945-945 The number 1 argument of piece is an instance of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 946-946 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 8756-8756 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 8763-8763 The number 2 argument of reagent is an instance of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7516-7516 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 6185-6185 The number 2 argument of allergic is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7531-7531 The number 1 argument of amount is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 4219-4219 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 4212-4212 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 1184-1184 The number 1 argument of ingredient is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1185-1185 The number 2 argument of ingredient is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 972-972 The number 1 argument of material is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1214-1214 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 6842-6862
No TPTP formula. May not be expressible in strict first order. Merge.kif 1031-1036
No TPTP formula. May not be expressible in strict first order. Geography.kif 7080-7092
No TPTP formula. May not be expressible in strict first order. Geography.kif 7052-7063
No TPTP formula. May not be expressible in strict first order. Merge.kif 1024-1029
No TPTP formula. May not be expressible in strict first order. Merge.kif 17428-17433

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17435-17439
No TPTP formula. May not be expressible in strict first order. Geography.kif 7225-7237
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 7080-7092
No TPTP formula. May not be expressible in strict first order. Geography.kif 7052-7063
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4530-4545
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8807-8816
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 3606-3622
No TPTP formula. May not be expressible in strict first order. Merge.kif 1202-1210
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3227-3238
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17380-17391
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4488-4503
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 4509-4524
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9502-9513
No TPTP formula. May not be expressible in strict first order. Merge.kif 1043-1049
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4586-4600
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21801-21806


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