component (component)

A specialized common sense notion of part for heterogeneous parts of complexes. (component component whole) means that component is a component of whole. Examples of component include the doors and walls of a house, the states or provinces of a country, or the limbs and organs of an animal. Compare piece, which is also a subrelation of part.

Ontology

SUMO / BASE-ONTOLOGY

Superrelation(s)

partly located

located

part

component

Type restrictions

component(OggettoCorpuscolare, OggettoCorpuscolare)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (7)

Se atom é un' istanza di Atomo, allora esiste Protone proton,Elettrone electron tale che proton é un componente diatom e electron é un componente diatom.

(=>
      (instance ?ATOM Atom)
      (exists
            (?PROTON ?ELECTRON)
            (and
                  (component ?PROTON ?ATOM)
                  (component ?ELECTRON ?ATOM)
                  (instance ?PROTON Proton)
                  (instance ?ELECTRON Electron))))

se atom é un' istanza di Atomo,
allora per ogni nucleus1,nucleus2 vale: se nucleus1 é un componente diatom e nucleus2 é un componente diatom e nucleus1 é un' istanza di NucleoAtomico e nucleus2 é un' istanza di NucleoAtomico, allora nucleus1 is uguale a nucleus2

(=>
      (instance ?ATOM Atom)
      (forall
            (?NUCLEUS1 ?NUCLEUS2)
            (=>
                  (and
                        (component ?NUCLEUS1 ?ATOM)
                        (component ?NUCLEUS2 ?ATOM)
                        (instance ?NUCLEUS1 AtomicNucleus)
                        (instance ?NUCLEUS2 AtomicNucleus))
                  (equal ?NUCLEUS1 ?NUCLEUS2))))

Se nucleus é un' istanza di NucleoAtomico, allora esiste Neutrone neutron,Protone proton tale che neutron é un componente dinucleus e proton é un componente dinucleus.

(=>
      (instance ?NUCLEUS AtomicNucleus)
      (exists
            (?NEUTRON ?PROTON)
            (and
                  (component ?NEUTRON ?NUCLEUS)
                  (component ?PROTON ?NUCLEUS)
                  (instance ?NEUTRON Neutron)
                  (instance ?PROTON Proton))))

se bacterium é un' istanza di Bacterio,
allora esiste Cellula cell1 tale che cell1 é un componente dibacterium e per ogni cell2 vale: se cell2 é un componente dibacterium e cell2 é un' istanza di Cellula, allora cell1 is uguale a cell2

(=>
      (instance ?BACTERIUM Bacterium)
      (exists
            (?CELL1)
            (and
                  (component ?CELL1 ?BACTERIUM)
                  (instance ?CELL1 Cell)
                  (forall
                        (?CELL2)
                        (=>
                              (and
                                    (component ?CELL2 ?BACTERIUM)
                                    (instance ?CELL2 Cell))
                              (equal ?CELL1 ?CELL2))))))

se virus é un' istanza di Virus,
allora esiste Molecola mol1 tale che mol1 é un componente divirus e per ogni mol2 vale: se mol2 é un componente divirus e mol2 é un' istanza di Molecola, allora mol1 is uguale a mol2

(=>
      (instance ?VIRUS Virus)
      (exists
            (?MOL1)
            (and
                  (component ?MOL1 ?VIRUS)
                  (instance ?MOL1 Molecule)
                  (forall
                        (?MOL2)
                        (=>
                              (and
                                    (component ?MOL2 ?VIRUS)
                                    (instance ?MOL2 Molecule))
                              (equal ?MOL1 ?MOL2))))))

Se junct é un' istanza di Giuntura, allora esiste ParteDelCorpo struct tale che junct é un componente distruct.

(=>
      (instance ?JUNCT BodyJunction)
      (exists
            (?STRUCT)
            (and
                  (instance ?STRUCT BodyPart)
                  (component ?JUNCT ?STRUCT))))

Se comp é un' istanza di Meccanismo, allora esiste Dispositivo device tale che comp é un componente didevice.

(=>
      (instance ?COMP EngineeringComponent)
      (exists
            (?DEVICE)
            (and
                  (instance ?DEVICE Device)
                  (component ?COMP ?DEVICE))))