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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElementalSubstance

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 1095-1099
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 178-181
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 211-215
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1746-1746
No TPTP formula. May not be expressible in strict first order. Merge.kif 1093-1093 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 28807-28807 Actinium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27473-27473 Aluminum is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28913-28913 Americium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28107-28107 Antimony is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27556-27556 Argon is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27804-27804 Arsenic is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28740-28740 Astatine is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1108-1108 Atom is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28201-28201 Barium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28947-28947 Berkelium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27313-27313 Beryllium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28705-28705 Bismuth is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27329-27329 Boron is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27835-27835 Bromine is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28059-28059 Cadmium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28175-28175 Caesium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27587-27587 Calcium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28964-28964 Californium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27348-27348 Carbon is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28237-28237 Cerium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27539-27539 Chlorine is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27661-27661 Chromium is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27707-27707 Cobalt is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27738-27738 Copper is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28930-28930 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 13772-13772 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 1768-1768 The number 1 argument of molecular ratio is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1085-1085 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 12547-12556
No TPTP formula. May not be expressible in strict first order. Merge.kif 12563-12569
No TPTP formula. May not be expressible in strict first order. Merge.kif 12527-12533

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12535-12545


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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