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


KB Term:  Term intersection
English Word: 

Sigma KEE - component
component

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


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

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


(subrelation powerComponent component) Mid-level-ontology.kif 2217-2217 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 ?RIGHT PhysicalRightCIButton)
        (component ?RIGHT ?DEV)
        (instance ?DEV ComputerInputDevice))
    (exists (?LEFT)
        (and
            (instance ?LEFT PhysicalLeftCIButton)
            (component ?LEFT ?DEV)
            (orientation ?RIGHT ?LEFT Left))))		 ComputerInput.kif 204-213 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 224-237 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 251-258 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 641-646 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 2830-2844 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 3290-3296 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 3298-3304 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 7466-7470 If X is an instance of archipelago and Y is a component of X, then Y is an instance of island
(=>
    (and
        (instance ?X Bed)
        (component ?BEDFRAME ?X)
        (instance ?BEDFRAME BedFrame)
        (component ?MATTRESS ?X)
        (instance ?MATTRESS Mattress))
    (orientation ?MATTRESS ?BEDFRAME On))		 Mid-level-ontology.kif 4514-4521 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 ?System HardwareSystem)
        (component ?Network ?System)
        (instance ?Event DataTransfer)
        (origin ?Event ?System))
    (and
        (instance ?Network ComputerNetwork)
        (instrument ?Event ?Network)))		 QoSontology.kif 327-335 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 2065-2076 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 2078-2091 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 3720-3738 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 ?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 3833-3847 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 4072-4090 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 204-213 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 224-237 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 262-267 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 675-680 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 2956-2964 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 5940-5945 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 5974-5979 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 5984-5989 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 5994-5999 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 6004-6009 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
(=>
    (instance ?ORE ZincOre)
    (exists (?METAL)
        (and
            (instance ?METAL Zinc)
            (component ?METAL ?ORE))))		 Economy.kif 6014-6019 If X is an instance of zinc ore, then there exists Y such that Y is an instance of zinc and Y is a component of X
(=>
    (instance ?CONCRETE Concrete)
    (exists (?PART)
        (and
            (instance ?PART Mineral)
            (component ?PART ?CONCRETE))))		 Economy.kif 6296-6301 If X is an instance of concrete, then there exists Y such that Y is an instance of mineral and Y is a component of X
(=>
    (instance ?CONCRETE Concrete)
    (exists (?PART)
        (and
            (instance ?PART Cement)
            (component ?PART ?CONCRETE))))		 Economy.kif 6303-6308 If X is an instance of concrete, then there exists Y such that Y is an instance of cement and Y is a component of X
(=>
    (and
        (instance ?NEWSFEED NewsFeed)
        (located ?NEWSFEED Facebook))
    (exists (?TOPNEWS)
        (and
            (instance ?TOPNEWS TopNewsFeed)
            (component ?TOPNEWS ?NEWSFEED))))		 Facebook.kif 437-444 If X is an instance of news feed and X is located at Facebook, then there exists Y such that Y is an instance of top news feed and Y is a component of X
(=>
    (and
        (instance ?NEWSFEED NewsFeed)
        (located ?NEWSFEED Facebook))
    (exists (?MOSTRECENT)
        (and
            (instance ?MOSTRECENT MostRecentFeed)
            (component ?MOSTRECENT ?NEWSFEED))))		 Facebook.kif 453-460 If X is an instance of news feed and X is located at Facebook, then there exists Y such that Y is an instance of most recent feed and Y is a component of X
(=>
    (instance ?HOMEPAGE HomePage)
    (exists (?NEWSFEED)
        (and
            (instance ?NEWSFEED NewsFeed)
            (component ?NEWSFEED ?HOMEPAGE))))		 Facebook.kif 577-582 If X is an instance of home page, then there exists Y such that Y is an instance of news feed and Y is a component of X
(=>
    (and
        (instance ?Range MountainRange)
        (part ?Mountain1 ?Range))
    (exists (?Mountain2)
        (and
            (component ?Mountain2 ?Range)
            (instance ?Mountain2 Mountain)
            (meetsSpatially ?Mountain1 ?Mountain2))))		 Geography.kif 5569-5577 If X is an instance of mountain range and Y is a part of X, then there exists Z such that Z is a component of X, Z is an instance of mountain, and Y meets Z
(=>
    (instance ?OBJ TextDocument)
    (exists (?TXT)
        (and
            (instance ?TXT Text)
            (component ?TXT ?OBJ))))		 Media.kif 931-936 If X is an instance of text document, then there exists Y such that Y is an instance of text and Y is a component of X
(=>
    (instance ?BOOK HardcopyDocument)
    (exists (?SHEET)
        (and
            (component ?SHEET ?BOOK)
            (instance ?SHEET PrintedSheet))))		 Media.kif 1039-1044 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 ?BOOK Book)
    (exists (?SHEET1 ?SHEET2)
        (and
            (component ?SHEET1 ?BOOK)
            (component ?SHEET2 ?BOOK)
            (instance ?SHEET1 PrintedSheet)
            (instance ?SHEET2 PrintedSheet)
            (not
                (equal ?SHEET1 ?SHEET2)))))		 Media.kif 1075-1083 If X is an instance of book, then All of the following hold: (1) there exist Y (2) Z such that Y is a component of X (3) Z is a component of X (4) Y is an instance of printed sheet (5) Z is an instance of printed sheet (6) equal Y (7) Z
(=>
    (instance ?OBJ TapeCassette)
    (exists (?TAPE)
        (and
            (instance ?TAPE RecordingTape)
            (component ?TAPE ?OBJ))))		 Media.kif 1311-1316 If X is an instance of tape cassette, then there exists Y such that Y is an instance of recording tape and Y is a component of X
(=>
    (instance ?SITE WebSite)
    (exists (?PAGE)
        (and
            (instance ?PAGE WebPage)
            (component ?PAGE ?SITE))))		 Media.kif 1497-1502 If X is an instance of web site, then there exists Y such that Y is an instance of web page and Y is a component of X
(=>
    (instance ?SOFTWARE SoftwareSystem)
    (exists (?FILE)
        (and
            (instance ?FILE SoftwareFile)
            (component ?FILE ?SOFTWARE))))		 Media.kif 1523-1528 If X is an instance of software system, then there exists Y such that Y is an instance of software file and Y is a component of X

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners