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 1008-1012
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 1006-1006 Pure substance is exhaustively partitioned into compound substance and elemental substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1005-1005 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 963-963 Substance is exhaustively partitioned into pure substance and mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 1094-1094 Compound substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2609-2609 Defoliant is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1014-1014 Elemental substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2697-2697 Greenhouse gas is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 394-394 Hydrophilic lipid head is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 405-405 Hydrophobic lipid tail is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18142-18142 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 843-843

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18183-18183 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 18160-18160 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 12814-12814 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 12878-12878 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 12819-12828
No TPTP formula. May not be expressible in strict first order. Merge.kif 12830-12839
No TPTP formula. May not be expressible in strict first order. Merge.kif 12841-12850

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1121-1126
No TPTP formula. May not be expressible in strict first order. naics.kif 3132-3148
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 3697-3715
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 11633-11639
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16195-16200
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16140-16150
No TPTP formula. May not be expressible in strict first order. Merge.kif 1111-1119


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