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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CompoundSubstance
CompoundSubstance(compound substance)1-dodecanol, 2-hydroxybenzoic_acid, A, Agene, C, CO, Chinese_white, DEAE_cellulose, Epsom_salts, G, Glauber's_salt, Glauber's_salts, HFC, K-Dur_20, K-lor, K-lyte, Kaochlor, Kekule_formula, Klorvess, NAD, Nitrospan, Nitrostat, PFC, SLS, T, TCE, U, U308, acceptor, acetal, acetaldehyde, acetaldol, acetamide, acetic, acetic_anhydride, acetoacetic_acid, acetone_body, acetyl, acetyl_group, acetyl_radical, acid_anhydrides, acid_halide, acrolein, acrylamide, acrylate, acrylic_acid, acrylonitrile, acyl_anhydrides, acyl_halide, acylglycerol...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1617-1620
No TPTP formula. May not be expressible in strict first order. Merge.kif 1093-1099
No TPTP formula. May not be expressible in strict first order. Merge.kif 1092-1092 Compound substance is a subclass of pure substance

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2713-2713 Ozone shield is an instance of compound substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2370-2370 Permafrost is an instance of compound substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1004-1004 Pure substance is exhaustively partitioned into compound substance and elemental substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4488-4488 Alumina is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19554-19554 Atomic group is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 1946-1946 Barite is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Food.kif 841-841 CarbonDioxide is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4806-4806 Cement is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8380-8380 Chemical acid is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 440-440 Chemical agent is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8396-8396 Chemical base is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4701-4701 Chemical product is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8400-8400 Salt is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 1784-1784 Chlorofluorocarbon is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 1963-1963 Chromite is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6169-6169 Conjugated substance is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1371-1371 Conotoxin is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2580-2580 DDT is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 81-81 Illicit drug is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4506-4506 Iron ore is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14510-14510 Molecule is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 1984-1984 Natural gas is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6539-6539 Nitric oxide is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6564-6564 Nitrogen dioxide is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8264-8264 Organic compound is a subclass of compound substance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6189-6189 The number 1 argument of conjugate is an instance of compound substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6190-6190 The number 2 argument of conjugate is an instance of compound substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 1766-1766 The number 3 argument of molecularRatio is a subclass of compound substance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11619-11629 An entity is an instance of compound substance if and only if there exist an object, another object and a process such that the object is an instance of elemental substance and the other object is an instance of elemental substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order. Cars.kif 1768-1782
No TPTP formula. May not be expressible in strict first order. Merge.kif 11636-11642
No TPTP formula. May not be expressible in strict first order. Merge.kif 11611-11617

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6172-6182 An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process


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