Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PureSubstance
PureSubstance(pure substance)
acetonic, acetylenic, acetylic, achlorhydric, aeolotropic, alkylic, allomerous, allylic, anhydrous, anisotropic, arsenical, bivalent, critical, divalent, eolotropic, heavy, hydrated, hydrous, identical, isotropic, isotropous, ligand, light, monovalent, multivalent, noncritical, pentavalent, polyvalent, supercritical, tetravalent, trivalent, univalent

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1595-1598
No TPTP formula. May not be expressible in strict first order. Merge.kif 1097-1101
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 174-177
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 206-210
No TPTP formula. May not be expressible in strict first order. pictureList.kif 910-910
No TPTP formula. May not be expressible in strict first order. Merge.kif 1095-1095 Pure substance is exhaustively partitioned into compound substance and elemental substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1094-1094 Pure substance is a subclass of substance

appearance as argument number 2
-------------------------


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 1183-1183 Compound substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2805-2805 Defoliant is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1103-1103 Elemental substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2893-2893 Greenhouse gas is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 518-518 Hydrophilic lipid head is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 529-529 Hydrophobic lipid tail is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23282-23282 Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 818-818 Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. english_format.kif 838-838 Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. french_format.kif 494-494 Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 27-27 Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. terms-it.txt 30-30 Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2179-2179 Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 446-446 Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 31-31 Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 61-61 Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. terms-de.txt 320-320 Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 515-515 Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 31-31 Ion is a subclass of pure substance

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23325-23325 The number 1 argument of electron number is an instance of pure substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23300-23300 The number 1 argument of proton number is an instance of pure substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 13946-13946 The number 1 argument of boiling point is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14010-14010 The number 1 argument of melting point is a subclass of pure substance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13951-13960
No TPTP formula. May not be expressible in strict first order. Merge.kif 13962-13971
No TPTP formula. May not be expressible in strict first order. Merge.kif 13973-13982

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1210-1215
No TPTP formula. May not be expressible in strict first order. naics.kif 3125-3141
No TPTP formula. May not be expressible in strict first order. naics.kif 631-648
No TPTP formula. May not be expressible in strict first order. naics.kif 3690-3708
No TPTP formula. May not be expressible in strict first order. naics.kif 954-977
No TPTP formula. May not be expressible in strict first order. Merge.kif 12668-12674
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21228-21233
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21173-21183
No TPTP formula. May not be expressible in strict first order. Merge.kif 1200-1208


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