SUMO   View all facts   Glossary   Help
unparented > component
Next unparented: connectsEngineeringComponents    Up: unparented    Previous unparented: completelyFills   

component
subjectfact 
componentdocumentation 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 material and piece, which are also subrelations of part2001-11-30 13:33:53.0
has axiom 
(=>
     (instance ?JUNCT BodyJunction)
     (exists (?STRUCT)
         (and
             (instance ?STRUCT AnatomicalStructure)
             (component ?JUNCT ?STRUCT))))
2001-11-30 13:33:53.0
has axiom 
(=>
    (instance ?ATOM Atom)
    (exists (?PROTON ?ELECTRON)
       (and
          (component ?PROTON ?ATOM)
 	   (component ?ELECTRON ?ATOM)
          (instance ?PROTON Proton)
          (instance ?ELECTRON Electron))))
2001-11-30 13:33:53.0
has axiom 
(=>
    (instance ?ATOM Atom)
    (forall (?NUCLEUS1 ?NUCLEUS2)
       (=>
          (and
             (component ?NUCLEUS1 ?ATOM)
 	      (component ?NUCLEUS2 ?ATOM)
             (instance ?NUCLEUS1 AtomicNucleus)
             (instance ?NUCLEUS2 AtomicNucleus))
 	   (equal ?NUCLEUS1 ?NUCLEUS2))))
2001-11-30 13:33:53.0
has axiom 
(=>
    (instance ?BACTERIUM Bacterium)
    (exists (?CELL1)
       (and
          (component ?CELL1 ?BACTERIUM)
          (instance ?CELL1 Cell)
          (forall (?CELL2)
             (=>
                (and
                   (component ?CELL2 ?BACTERIUM)
                   (instance ?CELL2 Cell))
                (equal ?CELL1 ?CELL2))))))
2001-11-30 13:33:54.0
has axiom 
(=>
    (instance ?COMP EngineeringComponent)
    (exists (?DEVICE)
       (and
          (instance ?DEVICE Device)
          (component ?COMP ?DEVICE))))
2001-11-30 13:33:54.0
has axiom 
(=>
    (instance ?NUCLEUS AtomicNucleus)
    (exists (?NEUTRON ?PROTON)
       (and
          (component ?NEUTRON ?NUCLEUS)
 	   (component ?PROTON ?NUCLEUS)
          (instance ?NEUTRON Neutron)
          (instance ?PROTON Proton))))
2001-11-30 13:33:54.0
has axiom 
(=>
    (instance ?VIRUS Virus)
    (exists (?MOL1)
       (and
          (component ?MOL1 ?VIRUS)
          (instance ?MOL1 Molecule)
          (forall (?MOL2)
             (=>
                (and
                   (component ?MOL2 ?VIRUS)
                   (instance ?MOL2 Molecule))
                (equal ?MOL1 ?MOL2))))))
2001-11-30 13:33:54.0
has axiom 
(=>
 	(instance ?ANIMAL Animal)
 	(exists (?CELL ?WALL)
 		(and
 			(component ?CELL ?ANIMAL)
 			(instance ?CELL Cell)
 			(component ?WALL ?CELL)
 			(instance ?WALL CellWallNonRigid))))
2001-11-30 13:33:54.0
has axiom 
(=>
 	(instance ?CHLAMYD Chlamydia)
 	(exists (?CELL ?ANIMAL)
 		(and
 			(inhabits ?CHLAMYD ?CELL)
 			(instance ?CELL Cell)
 			(component ?CELL ?ANIMAL)
 			(or
 				(instance ?ANIMAL Insect)
 				(instance ?ANIMAL Tick)))))
2001-11-30 13:33:54.0
has axiom 
(=>
 	(instance ?FUNGUS Fungus)
 	(exists (?WALL)
 		(and
 			(component ?WALL ?FUNGUS)
 			(instance ?WALL CellWallRigid))))
2001-11-30 13:33:54.0
has axiom 
(=>
 	(instance ?VERT Vertebrate)
 	(exists (?SPINE)
 		(and
 			(component ?SPINE ?VERT)
 			(instance ?SPINE SpinalColumn))))
2001-11-30 13:33:54.0
has domain1 CorpuscularObject2001-11-30 13:33:54.0
has domain2 CorpuscularObject2001-11-30 13:33:54.0