yuan2 jian4 (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)

bu4 fen5 wei4 yu1

wei4 yu1

bu4 fen5

yuan2 jian4

Type restrictions

component(fu4 za2 ti1/fei1 dan1 zhi4 ti1, fu4 za2 ti1/fei1 dan1 zhi4 ti1)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (7)

If atom shi4 yuan2 zi3 de5 shi2 li4, then there exist zhi4 zi3 proton,dian4 zi3 electron so_that_not proton shi4 atom de5 yuan2 jian4 and electron shi4 atom de5 yuan2 jian4.

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

if atom shi4 yuan2 zi3 de5 shi2 li4,
then for all nucleus1,nucleus2 holds: if nucleus1 shi4 atom de5 yuan2 jian4 and nucleus2 shi4 atom de5 yuan2 jian4 and nucleus1 shi4 yuan2 zi3 he2 de5 shi2 li4 and nucleus2 shi4 yuan2 zi3 he2 de5 shi2 li4, then nucleus1 deng3 yu1 nucleus2

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

If nucleus shi4 yuan2 zi3 he2 de5 shi2 li4, then there exist zhong1 zi3 neutron,zhi4 zi3 proton so_that_not neutron shi4 nucleus de5 yuan2 jian4 and proton shi4 nucleus de5 yuan2 jian4.

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

if bacterium shi4 xi4 jun1 de5 shi2 li4,
then there exists xi4 bao1 cell1 so_that_not cell1 shi4 bacterium de5 yuan2 jian4 and for all cell2 holds: if cell2 shi4 bacterium de5 yuan2 jian4 and cell2 shi4 xi4 bao1 de5 shi2 li4, then cell1 deng3 yu1 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))))))

if virus shi4 bing4 du2 de5 shi2 li4,
then there exists fen1 zi3 mol1 so_that_not mol1 shi4 virus de5 yuan2 jian4 and for all mol2 holds: if mol2 shi4 virus de5 yuan2 jian4 and mol2 shi4 fen1 zi3 de5 shi2 li4, then mol1 deng3 yu1 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))))))

If junct shi4 qu1 ti3 jie1 dian3 de5 shi2 li4, then there exists qu1 ti3 bu4 jian4 struct so_that_not junct shi4 struct de5 yuan2 jian4.

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

If comp shi4 gong1 cheng2 yuan2 jian4 de5 shi2 li4, then there exists zhuang1 zhi4 device so_that_not comp shi4 device de5 yuan2 jian4.

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