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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElementalSubstance
ElementalSubstance(elemental substance)
Bh, Db, Ds, Hs, LOX, Mt, Rf, Rg, Sg, Unq, Uub, Uuh, Uup, Uuq, Uut, actinide_series, activated_carbon, activated_charcoal, acyl, acyl_group, alcohol_group, alcohol_radical, aldehyde_group, aldehyde_radical, allotrope, allotropic, allotropical, allotropism, allotropy, alpha_iron, aluminous, amino, amino_group, amyl, antimonic, antimonious, argonon, atomic_number_104, atomic_number_105, atomic_number_106, atomic_number_107, atomic_number_108, atomic_number_109, atomic_number_110, atomic_number_111, atomic_number_112, atomic_number_113, atomic_number_114, atomic_number_115, atomic_number_116...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1599-1602
No TPTP formula. May not be expressible in strict first order. Merge.kif 1019-1023
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1747-1747 "http://upload.wikimedia.org/wikipedia/commons/8/84/ Periodic_table.svg" is a URL depicting elemental substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1017-1017 Elemental substance is a subclass of pure substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26975-26975 Actinium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25717-25717 Aluminum is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27075-27075 Americium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26313-26313 Antimony is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25795-25795 Argon is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26028-26028 Arsenic is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26912-26912 Astatine is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1032-1032 Atom is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26402-26402 Barium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27107-27107 Berkelium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25566-25566 Beryllium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26879-26879 Bismuth is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25581-25581 Boron is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26057-26057 Bromine is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26268-26268 Cadmium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26377-26377 Caesium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25824-25824 Calcium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27123-27123 Californium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25599-25599 Carbon is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26436-26436 Cerium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25779-25779 Chlorine is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25894-25894 Chromium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25937-25937 Cobalt is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25966-25966 Copper is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27091-27091 Curium is a subclass of elemental 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. Merge.kif 12640-12640 The number 1 argument of atomic number is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 1763-1763 The number 1 argument of molecularRatio is a subclass of elemental 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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11515-11521
No TPTP formula. May not be expressible in strict first order. Merge.kif 11490-11496

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11498-11508 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


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