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 1039-1043
No TPTP formula. May not be expressible in strict first order. pictureList.kif 911-911
No TPTP formula. May not be expressible in strict first order. Merge.kif 1037-1037 Pure substance is exhaustively partitioned into compound substance and elemental substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1036-1036 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 994-994 Substance is exhaustively partitioned into pure substance and mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 1125-1125 Compound substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2650-2650 Defoliant is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1045-1045 Elemental substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2738-2738 Greenhouse gas is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 463-463 Hydrophilic lipid head is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 474-474 Hydrophobic lipid tail is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21127-21127 Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 818-818
No TPTP formula. May not be expressible in strict first order. english_format.kif 838-838

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21168-21168 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 21145-21145 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 13546-13546 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 13610-13610 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 13551-13560
No TPTP formula. May not be expressible in strict first order. Merge.kif 13562-13571
No TPTP formula. May not be expressible in strict first order. Merge.kif 13573-13582

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1152-1157
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 12276-12282
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19007-19012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18952-18962
No TPTP formula. May not be expressible in strict first order. Merge.kif 1142-1150


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