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. Merge.kif 1121-1124
No TPTP formula. May not be expressible in strict first order. Merge.kif 1116-1120
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 1115-1115 Pure substance is exhaustively partitioned into compound substance and elemental substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1114-1114 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 1066-1066 Substance is exhaustively partitioned into pure substance and mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 1220-1220 Compound substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2576-2576 Defoliant is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1126-1126 Elemental substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2663-2663 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 19458-19458 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 515-515 "pure substance" is the printable form of pure substance in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 516-516 "純物質" is the printable form of pure substance in japanese language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19496-19496 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 19475-19475 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 13780-13780 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 13846-13846 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 13787-13796
No TPTP formula. May not be expressible in strict first order. Merge.kif 13798-13807
No TPTP formula. May not be expressible in strict first order. Merge.kif 13809-13818

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1253-1258
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 12426-12432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17434-17439
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17379-17389
No TPTP formula. May not be expressible in strict first order. Merge.kif 1243-1251


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