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.

Ontologie

SUMO / BASE-ONTOLOGY

Superrelation(s)

partly located

located

part

component

Typy argumentů

component(složený objekt, složený objekt)

Related WordNet synsets

See more related synsets on a separate page.

Axiomy (7)

Jestliže atom je instancí třídy atom, potom existují proton proton,elektron electron tak, že proton je a component of atom a electron je a component of atom.

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

jestliže atom je instancí třídy atom,
potom pro všechny nucleus1,nucleus2 platí: jestliže nucleus1 je a component of atom a nucleus2 je a component of atom a nucleus1 je instancí třídy atomové jádro a nucleus2 je instancí třídy atomové jádro, potom nucleus1 se rovná nucleus2

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

Jestliže nucleus je instancí třídy atomové jádro, potom existují neutron neutron,proton proton tak, že neutron je a component of nucleus a proton je a component of nucleus.

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

jestliže bacterium je instancí třídy bakterie,
potom existuje buňka cell1 tak, že cell1 je a component of bacterium a pro všechny cell2 platí: jestliže cell2 je a component of bacterium a cell2 je instancí třídy buňka, potom cell1 se rovná 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))))))

jestliže virus je instancí třídy virus,
potom existuje molekula mol1 tak, že mol1 je a component of virus a pro všechny mol2 platí: jestliže mol2 je a component of virus a mol2 je instancí třídy molekula, potom mol1 se rovná 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))))))

Jestliže junct je instancí třídy tělní kloub, potom existuje část těla struct tak, že junct je a component of struct.

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

Jestliže comp je instancí třídy inženýrská komponenta, potom existuje zařízení device tak, že comp je a component of device.

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