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, pure_substance, 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 1011-1015
No TPTP formula. May not be expressible in strict first order. pictureList.kif 911-911 "http://upload.wikimedia.org/wikipedia/commons/f/fc/ Water_droplet_blue_bg05.jpg" is a URL depicting pure substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1009-1009 Pure substance is exhaustively partitioned into compound substance and elemental substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1008-1008 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 966-966 Substance is exhaustively partitioned into pure substance and mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 1097-1097 Compound substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2588-2588 Defoliant is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1017-1017 Elemental substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2675-2675 Greenhouse gas is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 391-391 Hydrophilic lipid head is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 402-402 Hydrophobic lipid tail is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19459-19459 Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 818-818 "純物质" is the printable form of pure substance in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 843-843 "pure substance" is the printable form of pure substance in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19497-19497 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 19476-19476 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 12661-12661 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 12725-12725 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 12666-12675
No TPTP formula. May not be expressible in strict first order. Merge.kif 12677-12686
No TPTP formula. May not be expressible in strict first order. Merge.kif 12688-12697

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1124-1129
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 11477-11483
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17435-17440
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17380-17390
No TPTP formula. May not be expressible in strict first order. Merge.kif 1114-1122


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners