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 1014-1018
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1747-1747
No TPTP formula. May not be expressible in strict first order. Merge.kif 1012-1012 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 27039-27039 Actinium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25781-25781 Aluminum is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27139-27139 Americium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26377-26377 Antimony is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25859-25859 Argon is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26092-26092 Arsenic is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26976-26976 Astatine is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1027-1027 Atom is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26466-26466 Barium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27171-27171 Berkelium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25630-25630 Beryllium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26943-26943 Bismuth is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25645-25645 Boron is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26121-26121 Bromine is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26332-26332 Cadmium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26441-26441 Caesium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25888-25888 Calcium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27187-27187 Californium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25663-25663 Carbon is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26500-26500 Cerium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25843-25843 Chlorine is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25958-25958 Chromium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26001-26001 Cobalt is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26030-26030 Copper is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27155-27155 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 12741-12741 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 1764-1764 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 1004-1004 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 11616-11622
No TPTP formula. May not be expressible in strict first order. Merge.kif 11591-11597

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


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