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

Formal Language: 



KB Term:  Term intersection
English Word: 

  component

 Sigma KEE - component
component

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


(documentation component ChineseLanguage "这是对复合物各个不同部分的一个专业常识概念。 (component ?COMPONENT ?WHOLE) 的意思是 ?COMPONENT 是 ?WHOLE 的组件。 组件的例子包括房子的门 和墙壁、国家的州或省，与动物的四肢和器官。 可参考比较 part 的另外一个子关系 piece。") chinese_format.kif 1578-1580
(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 970-975
(documentation component JapaneseLanguage "複合体の不均一な部品の専門常識の概念。 (component ?COMPONENT ?WHOLE) とは、?COMPONENTが?WHOLEのコンポーネント、という意味である。コンポーネントの 例として、家のドアや壁、国の州、または動物の手足や臓器など。　part の下位関係である piece を を比較する。") japanese_format.kif 153-156
(documentation component SpanishLanguage "Una noción especializada de sentido común para las partes heterogéneas de un complejo. (component ?COMPONENT ?WHOLE) significa que ?COMPONENT is un componente de ?WHOLE. Ejemplos de componente incluyen las puertas y los paredes de una casa, los estados o las provencias de un país, y los miembros y los órganos del cuerpo de un animal. Compare con piece, por la que es también una subrelación de part.") spanish_format.kif 178-183
(domain component 1 CorpuscularObject) Merge.kif 967-967 Le nombre 1 argument de component est une instance de objet corpusculaire
(domain component 2 CorpuscularObject) Merge.kif 968-968 Le nombre 2 argument de component est une instance de objet corpusculaire
(instance component BinaryPredicate) Merge.kif 966-966 component est une instance de pr�dicat binaire
(subrelation component part) Merge.kif 965-965 component est une sous-relation de part

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


(format ChineseLanguage component "%1 %n 是 %2 的 component") chinese_format.kif 75-75
(format EnglishLanguage component "%1 is %n a component of %2") english_format.kif 75-75
(format FrenchLanguage component "%1 est %n un composant de %2") french_format.kif 62-62
(format ItalianLanguage component "%1 è %n un componente di%2") relations-it.txt 48-48
(format JapaneseLanguage component "%1 は %2 の component では %n") japanese_format.kif 1886-1886
(format PortugueseLanguage component "%1 e' %n um componente de %2") portuguese_format.kif 14-14
(format cz component "%1 %p{je} %n{nen�} a component of %2") relations-cz.txt 67-67
(format de component "%1 ist ein bestandteil von %2 %n{nicht}") relations-de.txt 83-83
(format hi component "%1 %2 kaa ghaTaka %n hai") relations-hindi.txt 90-90
(format ro component "%1 %n{nu} este o component%t{componentã} a lui %2") relations-ro.kif 81-81
(format sv component "%1 är %n{inte} en komponent till %2") relations-sv.txt 61-61
(format tg component "%1 %n ay ang sangkap ng %2") relations-cb.txt 82-82
(subrelation powerComponent component) Mid-level-ontology.kif 1708-1708 powerComponent est une sous-relation de component
(termFormat ChineseLanguage component "组件") chinese_format.kif 76-76
(termFormat ChineseLanguage component "零件") domainEnglishFormat.kif 16200-16200
(termFormat ChineseTraditionalLanguage component "零件") domainEnglishFormat.kif 16199-16199
(termFormat EnglishLanguage component "component") domainEnglishFormat.kif 16198-16198
(termFormat de component "bestandteil") terms-de.txt 22-22
(termFormat tg component "sangkap") relations-tg.txt 113-113

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


(=>
    (and
        (instance ?Archipelago Archipelago)
        (component ?Part ?Archipelago))
    (instance ?Part Island))		 Geography.kif 5823-5827
(=>
    (and
        (instance ?DEVICE GameIODevice)
        (instance ?ACCELEROMETER Accelerometer)
        (component ?ACCELEROMETER ?DEVICE))
    (instance ?DEVICE GameIODeviceWithAccelerometer))		 ComputerInput.kif 641-646
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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 3729-3747
(=>
    (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 2086-2099
(=>
    (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 2073-2084
(=>
    (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 1578-1589
(=>
    (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
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))		 Geography.kif 1843-1849
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Yellow)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (not
        (attribute ?AREA FertileTerrain)))		 Geography.kif 1835-1841
(=>
    (and
        (instance ?System HardwareSystem)
        (component ?Network ?System)
        (instance ?Event DataTransfer)
        (origin ?Event ?System))
    (and
        (instance ?Network ComputerNetwork)
        (instrument ?Event ?Network)))		 QoSontology.kif 326-334
(=>
    (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 3341-3364
(=>
    (and
        (instance ?X Bed)
        (component ?BEDFRAME ?X)
        (instance ?BEDFRAME BedFrame)
        (component ?MATTRESS ?X)
        (instance ?MATTRESS Mattress))
    (orientation ?MATTRESS ?BEDFRAME On))		 Mid-level-ontology.kif 4026-4033

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


(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))		 QoSontology.kif 63-68 Objet corpusculaire est une instance de ComputerHardware objet corpusculaire objet corpusculaire est une instance de Computer objet corpusculaire est un composant de objet corpusculaire
(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))		 Mid-level-ontology.kif 10916-10922 Objet corpusculaire est une instance de vertebr� objet corpusculaire objet corpusculaire est une instance de animal objet corpusculaire est un composant de objet corpusculaire objet corpusculaire est une instance de SpinalColumn
(=>
    (and
        (inList ?ITEM ?RESULTS)
        (instance ?RESULTS SRPResults))
    (exists (?SRP)
        (and
            (instance ?SRP SearchResultsPage)
            (component ?RESULTS ?SRP))))		 UXExperimentalTerms.kif 2499-2506
(=>
    (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
(=>
    (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 3729-3747
(=>
    (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 2073-2084
(=>
    (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
(=>
    (and
        (instance ?Range MountainRange)
        (part ?Mountain1 ?Range))
    (exists (?Mountain2)
        (and
            (component ?Mountain2 ?Range)
            (instance ?Mountain2 Mountain)
            (meetsSpatially ?Mountain1 ?Mountain2))))		 Geography.kif 4016-4024
(=>
    (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 3510-3519
(=>
    (attribute ?X WaterBed)
    (exists (?MATTRESS ?WATER)
        (and
            (component ?MATTRESS ?X)
            (contains ?MATTRESS ?WATER)
            (instance ?WATER Water))))		 Mid-level-ontology.kif 4086-4092
(=>
    (capability Breathing experiencer ?ANIMAL)
    (exists (?LUNG)
        (and
            (component ?LUNG ?ANIMAL)
            (instance ?LUNG Lung))))		 Mid-level-ontology.kif 11163-11168
(=>
    (homePage ?PAGE ?SITE)
    (component ?PAGE ?SITE))		 UXExperimentalTerms.kif 1983-1985
(=>
    (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 14429-14440
(=>
    (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
(=>
    (instance ?BOOK HardcopyDocument)
    (exists (?SHEET)
        (and
            (component ?SHEET ?BOOK)
            (instance ?SHEET PrintedSheet))))		 Media.kif 1039-1044
(=>
    (instance ?C Crane)
    (exists (?H)
        (and
            (instance ?H HoistingDevice)
            (component ?H ?C))))		 Mid-level-ontology.kif 2445-2450
(=>
    (instance ?COMP EngineeringComponent)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Device)
            (component ?COMP ?DEVICE))))		 Merge.kif 16036-16041
(=>
    (instance ?CONCRETE Concrete)
    (exists (?PART)
        (and
            (instance ?PART Cement)
            (component ?PART ?CONCRETE))))		 Economy.kif 5910-5915
(=>
    (instance ?CONCRETE Concrete)
    (exists (?PART)
        (and
            (instance ?PART Mineral)
            (component ?PART ?CONCRETE))))		 Economy.kif 5903-5908
(=>
    (instance ?DISK InternalHardDisk)
    (exists (?DRIVE)
        (and
            (instance ?DRIVE HardDiskDrive)
            (component ?DISK ?DRIVE))))		 ComputerInput.kif 675-680
(=>
    (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 11679-11687
(=>
    (instance ?KEYBOARD ComputerKeyboard_Generic)
    (exists (?KEY)
        (and
            (instance ?KEY ComputerKeyboardKey)
            (component ?KEY ?KEYBOARD))))		 ComputerInput.kif 262-267
(=>
    (instance ?MODULE WebPageModule)
    (exists (?PAGE)
        (and
            (instance ?PAGE WebPage)
            (component ?MODULE ?PAGE))))		 UXExperimentalTerms.kif 1997-2002
(=>
    (instance ?NUCLEUS AtomicNucleus)
    (exists (?NEUTRON ?PROTON)
        (and
            (component ?NEUTRON ?NUCLEUS)
            (component ?PROTON ?NUCLEUS)
            (instance ?NEUTRON Neutron)
            (instance ?PROTON Proton))))		 Merge.kif 1149-1156
(=>
    (instance ?OBJ TapeCassette)
    (exists (?TAPE)
        (and
            (instance ?TAPE RecordingTape)
            (component ?TAPE ?OBJ))))		 Media.kif 1309-1314

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 is open source software produced by Articulate Software and its partners