Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  component

 Sigma KEE - component
component

appearance as argument number 1
-------------------------


(subrelation component part) Merge.kif 974-974 component is a subrelation of part
(instance component BinaryPredicate) Merge.kif 975-975 component is an instance of binary predicate
(domain component 1 CorpuscularObject) Merge.kif 976-976 The number 1 argument of component is an instance of corpuscular object
(domain component 2 CorpuscularObject) Merge.kif 977-977 The number 2 argument of component is an instance of corpuscular object
(documentation component EnglishLanguage "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.") Merge.kif 979-984 The number 2 argument of component is an instance of corpuscular object

appearance as argument number 2
-------------------------


(subrelation powerComponent component) Mid-level-ontology.kif 2311-2311 power component is a subrelation of component
(termFormat EnglishLanguage component "component") domainEnglishFormat.kif 16200-16200 power component is a subrelation of component
(termFormat ChineseTraditionalLanguage component "零件") domainEnglishFormat.kif 16201-16201 power component is a subrelation of component
(termFormat ChineseLanguage component "零件") domainEnglishFormat.kif 16202-16202 power component is a subrelation of component
(format EnglishLanguage component "%1 is %n a component of %2") english_format.kif 75-75 power component is a subrelation of component

antecedent
-------------------------


(=>
    (and
        (instance ?X Bed)
        (component ?BEDFRAME ?X)
        (instance ?BEDFRAME BedFrame)
        (component ?MATTRESS ?X)
        (instance ?MATTRESS Mattress))
    (orientation ?MATTRESS ?BEDFRAME On))		 Mid-level-ontology.kif 4700-4707 If X is an instance of bed, Y is a component of X, Y is an instance of bed frame, Z is a component of X, and Z is an instance of mattress, then Z is on to Y
(=>
    (and
        (instance ?RIGHT PhysicalRightCIButton)
        (component ?RIGHT ?DEV)
        (instance ?DEV ComputerInputDevice))
    (exists (?LEFT)
        (and
            (instance ?LEFT PhysicalLeftCIButton)
            (component ?LEFT ?DEV)
            (orientation ?RIGHT ?LEFT Left))))		 ComputerInput.kif 220-229 If X is an instance of physical right CI button, X is a component of Y, and Y is an instance of computer input device, then there exists Z such that Z is an instance of physical left CI button, Z is a component of Y, and X is left of to Z
(=>
    (and
        (instance ?MID MiddleCIButton)
        (component ?MID ?DEV)
        (instance ?DEV ComputerInputDevice))
    (exists (?LEFT ?RIGHT)
        (and
            (instance ?RIGHT RightCIButton)
            (instance ?LEFT LeftCIButton)
            (component ?RIGHT ?DEV)
            (component ?LEFT ?DEV)
            (between ?LEFT ?MID ?RIGHT)
            (orientation ?MID ?LEFT Left)
            (orientation ?MID ?RIGHT Right))))		 ComputerInput.kif 240-253 If X is an instance of middle CI button, X is a component of Y, and Y is an instance of computer input device, then All of the following hold: (1) there exist Z (2) W such that W is an instance of right CI button (3) Z is an instance of left CI button (4) W is a component of Y (5) Z is a component of Y (6) X is between Z (7) W (8) X is left of to Z (9) X is right of to W
(=>
    (and
        (instance ?KEY ComputerKeyboardKey)
        (instance ?KEYBOARD1 ComputerKeyboard_Generic)
        (component ?KEY ?KEYBOARD1)
        (instance ?KEYBOARD2 ComputerKeyboard_Generic)
        (component ?KEY ?KEYBOARD2))
    (equal ?KEYBOARD1 ?KEYBOARD2))		 ComputerInput.kif 267-274 If X is an instance of computer keyboard key, Y is an instance of generic computer keyboard, X is a component of Y, Z is an instance of generic computer keyboard, and X is a component of Z, then equal Y and Z
(=>
    (and
        (instance ?DEVICE GameIODevice)
        (instance ?ACCELEROMETER Accelerometer)
        (component ?ACCELEROMETER ?DEVICE))
    (instance ?DEVICE GameIODeviceWithAccelerometer))		 ComputerInput.kif 657-662 If X is an instance of game I/O device, Y is an instance of accelerometer, and Y is a component of X, then X is an instance of game I/O device with accelerometer
(=>
    (and
        (instance ?P DigitalPost)
        (instance ?A AutonomousAgent)
        (instance ?W WebSite)
        (component ?P ?W)
        (creator ?A ?P)
        (registeredUser ?A ?W))
    (hasPurpose ?P
        (exists (?D)
            (and
                (instance ?D Disseminating)
                (agent ?D ?A)
                (patient ?D ?P)
                (instrument ?D ?W)))))		 ComputerInput.kif 2846-2860 If All of the following hold: (1) X is an instance of digital post (2) Y is an instance of agent (3) Z is an instance of web site (4) X is a component of Z (5) Y created X (6) Y is a registered user of Z, then X has the purpose there exists W such that W is an instance of disseminating, Y is an agent of W, X is a patient of W, and Z is an instrument for W
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Yellow)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (not
        (attribute ?AREA FertileTerrain)))		 Geography.kif 3286-3292 If X is an instance of soil, yellow is an attribute of X, Y is an instance of land area, and X is a component of Y, then fertile terrain is not an attribute of Y
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))		 Geography.kif 3294-3300 If X is an instance of soil, red is an attribute of X, Y is an instance of land area, and X is a component of Y, then fertile terrain is an attribute of Y
(=>
    (and
        (instance ?Archipelago Archipelago)
        (component ?Part ?Archipelago))
    (instance ?Part Island))		 Geography.kif 7445-7449 If X is an instance of archipelago and Y is a component of X, then Y is an instance of island
(=>
    (and
        (instance ?System HardwareSystem)
        (component ?Network ?System)
        (instance ?Event DataTransfer)
        (origin ?Event ?System))
    (and
        (instance ?Network ComputerNetwork)
        (instrument ?Event ?Network)))		 QoSontology.kif 319-327 If X is an instance of hardware system, Y is a component of X, Z is an instance of data transfer, and Z originates at X, then Y is an instance of computer network and Y is an instrument for Z
(=>
    (and
        (instance ?REQUEST ViewItemRequest)
        (instance ?ACCESSING AccessingWebPage)
        (instance ?PAGE ViewItemPage)
        (instance ?AGENT AutonomousAgent)
        (instance ?LISTING Advertising)
        (subProcess ?ACCESSING ?REQUEST)
        (component ?PAGE ?LISTING)
        (destination ?ACCESSING ?PAGE)
        (agent ?ACCESSING ?AGENT))
    (viewedListing ?AGENT ?LISTING))		 UXExperimentalTerms.kif 1570-1581 If All of the following hold: (1) X is an instance of view item request (2) Y is an instance of accessing web page (3) Z is an instance of next generation view item (4) W is an instance of agent (5) V is an instance of advertising (6) Y is a subprocess of X (7) Z is a component of V (8) Y ends up at Z (9) W is an agent of Y, then W viewed V
(=>
    (and
        (instance ?PAGE ViewItemPage)
        (instance ?SITE WebSite)
        (component ?PAGE ?SITE))
    (exists (?ITEM ?ADVERTISING)
        (and
            (instance ?ITEM Object)
            (instance ?ADVERTISING WebListing)
            (component ?ADVERTISING ?PAGE)
            (hostedOn ?ADVERTISING ?SITE)
            (patient ?ADVERTISING ?ITEM))))		 UXExperimentalTerms.kif 2066-2077 If X is an instance of next generation view item, Y is an instance of web site, and X is a component of Y, then there exist Z, W such that Z is an instance of object, W is an instance of web listing, W is a component of X, W is hosted on Y, and Z is a patient of W
(=>
    (and
        (instance ?PAGE ViewItemPage)
        (instance ?ADVERTISING WebListing)
        (component ?ADVERTISING ?PAGE)
        (patient ?ADVERTISING ?ITEM)
        (instance ?ITEM Physical))
    (exists (?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)
        (and
            (instance ?STATING Stating)
            (patient ?STATING ?DESCRIPTION)
            (refers ?DESCRIPTION ?ITEM)
            (result ?DESCRIPTION ?DESCRIPTIONCONTENT)
            (part ?DESCRIPTIONCONTENT ?PAGE))))		 UXExperimentalTerms.kif 2079-2092 If X is an instance of next generation view item, Y is an instance of web listing, Y is a component of X, Z is a patient of Y, and Z is an instance of physical, then there exist W, V, U such that V is an instance of stating, W is a patient of V, W includes a reference to Z, U is a result of W, and U is a part of X
(=>
    (and
        (instance ?VISITS Collection)
        (instance ?HYPERLINK HypertextLink)
        (forall (?ACCESSING)
            (and
                (member ?ACCESSING ?PAGE)
                (and
                    (instance ?ACCESSING AccessingWebPage)
                    (component ?PAGE ?HYPERLINK)))))
    (exists (?CLICKS)
        (and
            (instance ?CLICKS Collection)
            (forall (?CLICK)
                (=>
                    (and
                        (instance ?CLICK RequestingHyperlink)
                        (patient ?CLICK ?HYPERLINK))
                    (member ?CLICK ?CLICKS)))
            (equal
                (ClickThroughRateFn ?VISITS ?HYPERLINK)
                (DivisionFn
                    (CardinalityFn ?CLICKS)
                    (CardinalityFn ?VISITS))))))		 UXExperimentalTerms.kif 3332-3355 If X is an instance of collection, Y is an instance of hyperlink, and For all Physical Z: Z is a member of W and Z is an instance of accessing web page and W is a component of Y, then there exists V such that V is an instance of collection, U U is an instance of requesting hyperlink, Y is a patient of UU is a member of V, equal the rate of clicking through Y in X, the number of instances in V, and the number of instances in X
(=>
    (and
        (instance ?PAGE SearchResultsPage)
        (instance ?RESULTS SRPResults)
        (component ?RESULTS ?PAGE))
    (equal
        (DivisionFn
            (CardinalityFn
                (KappaFn ?CLICK
                    (and
                        (instance ?CLICK RequestingHyperlink)
                        (patient ?CLICK ?ELEMENT)
                        (destination ?CLICK ?LINKEDPAGE)
                        (instance ?ELEMENT HypertextLink)
                        (component ?ELEMENT ?PAGE)
                        (or
                            (instance ?LINKEDPAGE ProductDescriptionPage)
                            (instance ?LINKEDPAGE ViewItemPage)))))
            (ListLengthFn ?RESULTS))
        (SRPEngagementFn ?PAGE)))		 UXExperimentalTerms.kif 3718-3736 If X is an instance of search results page, Y is an instance of search results, and Y is a component of X, then equal the number of instances in the class described by Z, length of Y, and qualifying clicks on X

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


(=>
    (instance ?PARTICLE SubatomicParticle)
    (exists (?ATOM)
        (and
            (instance ?ATOM Atom)
            (component ?PARTICLE ?ATOM))))		 Merge.kif 1211-1216 If X is an instance of subatomic particle, then there exists Y such that Y is an instance of atom and X is a component of Y
(=>
    (instance ?NUCLEUS AtomicNucleus)
    (exists (?NEUTRON ?PROTON)
        (and
            (component ?NEUTRON ?NUCLEUS)
            (component ?PROTON ?NUCLEUS)
            (instance ?NEUTRON Neutron)
            (instance ?PROTON Proton))))		 Merge.kif 1222-1229 If X is an instance of atomic nucleus, then there exist Y, Z such that Y is a component of X, Z is a component of X, Y is an instance of neutron, and Z is an instance of proton
(=>
    (instance ?BACTERIUM Bacterium)
    (exists (?CELL1)
        (and
            (component ?CELL1 ?BACTERIUM)
            (instance ?CELL1 Cell)
            (forall (?CELL2)
                (=>
                    (and
                        (component ?CELL2 ?BACTERIUM)
                        (instance ?CELL2 Cell))
                    (equal ?CELL1 ?CELL2))))))		 Merge.kif 14771-14782 If X is an instance of bacterium, then there exists Y such that Y is a component of X, Y is an instance of cell, Z Z is a component of X, Z is an instance of cellequal Y, and Z
(=>
    (instance ?PART BodyPart)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (component ?PART ?ORGANISM)))))		 Merge.kif 15264-15270 If X is an instance of body part, then there exist Y, Z such that Y is an instance of organism, Z is a part of the time of existence of Y, and X is a component of Y holds during Z
(=>
    (instance ?COMP EngineeringComponent)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Device)
            (component ?COMP ?DEVICE))))		 Merge.kif 16423-16428 If X is an instance of engineering component, then there exists Y such that Y is an instance of device and X is a component of Y
(=>
    (instance ?C Crane)
    (exists (?H)
        (and
            (instance ?H HoistingDevice)
            (component ?H ?C))))		 Mid-level-ontology.kif 3072-3077 If X is an instance of crane, then there exists Y such that Y is an instance of hoisting device and Y is a component of X
(=>
    (and
        (instance ?W VehicleWheel)
        (instance ?V RoadVehicle)
        (part ?W ?V))
    (exists (?A)
        (and
            (instance ?A Axle)
            (component ?A ?V)
            (connected ?W ?A))))		 Mid-level-ontology.kif 4165-4174 If X is an instance of vehicle wheel, Y is an instance of road vehicle, and X is a part of Y, then there exists Z such that Z is an instance of axle, Z is a component of Y, and X is connected to Z
(=>
    (instance ?X Mattress)
    (exists (?BED)
        (and
            (instance ?BED Bed)
            (component ?X ?BED))))		 Mid-level-ontology.kif 4680-4685 If X is an instance of mattress, then there exists Y such that Y is an instance of bed and X is a component of Y
(=>
    (attribute ?X WaterBed)
    (exists (?MATTRESS ?WATER)
        (and
            (component ?MATTRESS ?X)
            (contains ?MATTRESS ?WATER)
            (instance ?WATER Water))))		 Mid-level-ontology.kif 4760-4766 If waterbed is an attribute of X, then there exist Y, Z such that Y is a component of X, Y contains Z, and Z is an instance of water
(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))		 Mid-level-ontology.kif 12422-12428 X is an instance of vertebrate if, only if there exists Y such that X is an instance of animal, Y is a component of X, and Y is an instance of spinal column
(=>
    (capability Breathing experiencer ?ANIMAL)
    (exists (?LUNG)
        (and
            (component ?LUNG ?ANIMAL)
            (instance ?LUNG Lung))))		 Mid-level-ontology.kif 12681-12686 If X is capable of doing breathing as a experiencer, then there exists Y such that Y is a component of X and Y is an instance of lung
(=>
    (instance ?J BodyJoint)
    (exists (?S ?P1 ?P2)
        (and
            (instance ?S Skeleton)
            (component ?P1 ?S)
            (component ?P2 ?S)
            (component ?J ?S)
            (connects ?J ?P1 ?P2))))		 Mid-level-ontology.kif 13207-13215 If X is an instance of body joint, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of skeleton (3) Z is a component of Y (4) W is a component of Y (5) X is a component of Y (6) X connects Z (7) W
(=>
    (instance ?BOOK HardcopyDocument)
    (exists (?SHEET)
        (and
            (component ?SHEET ?BOOK)
            (instance ?SHEET PrintedSheet))))		 Mid-level-ontology.kif 28980-28985 If X is an instance of hardcopy document, then there exists Y such that Y is a component of X and Y is an instance of printed sheet
(=>
    (instance ?X RemoteIgnitionControl)
    (hasPurpose ?X
        (exists (?VEHICLE ?ENGINE ?SIGNAL ?PROC)
            (and
                (instance ?VEHICLE PoweredVehicle)
                (instance ?SIGNAL ElectronicSignalling)
                (instrument ?SIGNAL ?X)
                (destination ?SIGNAL ?VEHICLE)
                (instance ?ENGINE Engine)
                (component ?ENGINE ?VEHICLE)
                (instance ?PROC
                    (OperatingFn Engine))
                (experiencer ?PROC ?ENGINE)
                (causes ?SIGNAL ?PROC)))))		 Cars.kif 3622-3636 If X is an instance of remote ignition control, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of powered vehicle (3) W is an instance of electronic signalling (4) X is an instrument for W (5) W ends up at Y (6) Z is an instance of engine (7) Z is a component of Y (8) V is an instance of the operating of engine (9) Z experiences V (10) W causes V
(=>
    (instance ?X SteeringColumnLock)
    (hasPurpose ?X
        (exists (?SC ?P ?CAR ?T)
            (and
                (instance ?SC SteeringColumn)
                (instance ?CAR Automobile)
                (component ?SC ?CAR)
                (part ?X ?SC)
                (instance ?P Protecting)
                (instrument ?P ?X)
                (decreasesLikelihood
                    (holdsDuring ?T
                        (attribute ?X Locked))
                    (holdsDuring ?T
                        (exists (?STEAL)
                            (and
                                (instance ?STEAL Stealing)
                                (patient ?STEAL ?CAR)))))))))		 Cars.kif 3864-3882 If X is an instance of steering column lock, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of steering column (3) W is an instance of automobile (4) Y is a component of W (5) X is a part of Y (6) Z is an instance of protecting (7) X is an instrument for Z (8) locked is an attribute of X holds during V decreases likelihood of there exists U such that U is an instance of stealing (9) W is a patient of U holds during V
(=>
    (and
        (instance ?RIGHT PhysicalRightCIButton)
        (component ?RIGHT ?DEV)
        (instance ?DEV ComputerInputDevice))
    (exists (?LEFT)
        (and
            (instance ?LEFT PhysicalLeftCIButton)
            (component ?LEFT ?DEV)
            (orientation ?RIGHT ?LEFT Left))))		 ComputerInput.kif 220-229 If X is an instance of physical right CI button, X is a component of Y, and Y is an instance of computer input device, then there exists Z such that Z is an instance of physical left CI button, Z is a component of Y, and X is left of to Z
(=>
    (and
        (instance ?MID MiddleCIButton)
        (component ?MID ?DEV)
        (instance ?DEV ComputerInputDevice))
    (exists (?LEFT ?RIGHT)
        (and
            (instance ?RIGHT RightCIButton)
            (instance ?LEFT LeftCIButton)
            (component ?RIGHT ?DEV)
            (component ?LEFT ?DEV)
            (between ?LEFT ?MID ?RIGHT)
            (orientation ?MID ?LEFT Left)
            (orientation ?MID ?RIGHT Right))))		 ComputerInput.kif 240-253 If X is an instance of middle CI button, X is a component of Y, and Y is an instance of computer input device, then All of the following hold: (1) there exist Z (2) W such that W is an instance of right CI button (3) Z is an instance of left CI button (4) W is a component of Y (5) Z is a component of Y (6) X is between Z (7) W (8) X is left of to Z (9) X is right of to W
(=>
    (instance ?KEYBOARD ComputerKeyboard_Generic)
    (exists (?KEY)
        (and
            (instance ?KEY ComputerKeyboardKey)
            (component ?KEY ?KEYBOARD))))		 ComputerInput.kif 278-283 If X is an instance of generic computer keyboard, then there exists Y such that Y is an instance of computer keyboard key and Y is a component of X
(=>
    (instance ?DISK InternalHardDisk)
    (exists (?DRIVE)
        (and
            (instance ?DRIVE HardDiskDrive)
            (component ?DISK ?DRIVE))))		 ComputerInput.kif 691-696 If X is an instance of internal hard disk, then there exists Y such that Y is an instance of hard disk drive and X is a component of Y
(=>
    (webVisitor ?A ?WS)
    (exists (?AWS ?WP)
        (and
            (instance ?AWS AccessingWebPage)
            (instance ?WP WebPage)
            (component ?WP ?WS)
            (agent ?AWS ?A)
            (patient ?AWS ?WP))))		 ComputerInput.kif 2972-2980 If X is a visitor to Y, then there exist Z, W such that Z is an instance of accessing web page, W is an instance of web page, W is a component of Y, X is an agent of Z, and W is a patient of Z
(=>
    (instance ?ORE Bauxite)
    (exists (?METAL)
        (and
            (instance ?METAL Alumina)
            (component ?METAL ?ORE))))		 Economy.kif 5955-5960 If X is an instance of bauxite, then there exists Y such that Y is an instance of alumina and Y is a component of X
(=>
    (instance ?ORE IronOre)
    (exists (?METAL)
        (and
            (instance ?METAL Iron)
            (component ?METAL ?ORE))))		 Economy.kif 5992-5997 If X is an instance of iron ore, then there exists Y such that Y is an instance of iron and Y is a component of X
(=>
    (instance ?ORE CopperOre)
    (exists (?METAL)
        (and
            (instance ?METAL Copper)
            (component ?METAL ?ORE))))		 Economy.kif 6003-6008 If X is an instance of copper ore, then there exists Y such that Y is an instance of copper and Y is a component of X
(=>
    (instance ?ORE NickelOre)
    (exists (?METAL)
        (and
            (instance ?METAL Nickel)
            (component ?METAL ?ORE))))		 Economy.kif 6014-6019 If X is an instance of nickel ore, then there exists Y such that Y is an instance of nickel and Y is a component of X
(=>
    (instance ?ORE LeadOre)
    (exists (?METAL)
        (and
            (instance ?METAL Lead)
            (component ?METAL ?ORE))))		 Economy.kif 6026-6031 If X is an instance of lead ore, then there exists Y such that Y is an instance of lead and Y is a component of X

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners