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
-------------------------


s__documentation(s__component__m,s__ChineseLanguage,'"这是对复合物各个不同部分的一个专业常识概念。 (component ?COMPONENT ?WHOLE) 的意思是 ?COMPONENT 是 ?WHOLE 的组件。 组件的例子包括房子的门 和墙壁、国家的州或省,与动物的四肢和器官。 可参考比较 part 的另外一个子关系 piece。"')

chinese_format.kif 1578-1580
s__documentation(s__component__m,s__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 921-926
s__domain(s__component__m,n__1,s__CorpuscularObject)

Merge.kif 918-918 The number 1 argument of component is an instance of corpuscular object
s__domain(s__component__m,n__2,s__CorpuscularObject)

Merge.kif 919-919 The number 2 argument of component is an instance of corpuscular object
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__component__m,s__BinaryPredicate)

Merge.kif 917-917 component is an instance of binary predicate
s__subrelation(s__component__m,s__part__m)

Merge.kif 916-916 component is a subrelation of part

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


s__format(s__ChineseLanguage,s__component__m,'"%1 %n 是 %2 的 component"')

chinese_format.kif 75-75
s__format(s__EnglishLanguage,s__component__m,'"%1 is %n a component of %2"')

english_format.kif 75-75
s__subrelation(s__powerComponent__m,s__component__m)

Mid-level-ontology.kif 1672-1672 power component is a subrelation of component
s__termFormat(s__ChineseLanguage,s__component__m,'"组件"')

chinese_format.kif 76-76
s__termFormat(s__ChineseLanguage,s__component__m,'"零件"')

domainEnglishFormat.kif 16191-16191
s__termFormat(s__ChineseTraditionalLanguage,s__component__m,'"零件"')

domainEnglishFormat.kif 16190-16190
s__termFormat(s__EnglishLanguage,s__component__m,'"component"')

domainEnglishFormat.kif 16189-16189

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


( ! [V__Archipelago,V__Part] :
   ((s__instance(V__Part,s__CorpuscularObject) =>
       (((s__instance(V__Archipelago,s__Archipelago) &
             s__component(V__Part,V__Archipelago))
         =>
         (s__instance(V__Part,s__Island)))))
   )
)

Geography.kif 5627-5631
( ! [V__DEVICE,V__ACCELEROMETER] :
   (((s__instance(V__DEVICE,s__GameIODevice) &
         s__instance(V__ACCELEROMETER,s__Accelerometer) &
         s__component(V__ACCELEROMETER,V__DEVICE))
     =>
     (s__instance(V__DEVICE,s__GameIODeviceWithAccelerometer)))
   )
)

ComputerInput.kif 669-674
( ! [V__KEYBOARD1,V__KEY,V__KEYBOARD2] :
   (((s__instance(V__KEY,s__ComputerKeyboardKey) &
         s__instance(V__KEYBOARD1,s__ComputerKeyboard_Generic) &
         s__component(V__KEY,V__KEYBOARD1)
       &
       s__instance(V__KEYBOARD2,s__ComputerKeyboard_Generic) &
       s__component(V__KEY,V__KEYBOARD2))
   =>
   ((V__KEYBOARD1 = V__KEYBOARD2)))
)
)

ComputerInput.kif 273-280
( ! [V__MID,V__DEV] :
   (((s__instance(V__MID,s__MiddleCIButton) &
         s__component(V__MID,V__DEV)
       &
       s__instance(V__DEV,s__ComputerInputDevice))
     =>
     (( ? [V__LEFT, V__RIGHT] :
         ((s__instance(V__RIGHT,s__RightCIButton) &
             s__instance(V__LEFT,s__LeftCIButton) &
             s__component(V__RIGHT,V__DEV)
           &
           s__component(V__LEFT,V__DEV)
         &
         s__between(V__LEFT,V__MID,V__RIGHT)
       &
       s__orientation(V__MID,V__LEFT,s__Left) &
       s__orientation(V__MID,V__RIGHT,s__Right))))))
)
)

ComputerInput.kif 246-259
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3928-3946
( ! [V__PAGE,V__ITEM,V__ADVERTISING] :
   (((s__instance(V__PAGE,s__ViewItemPage) &
         s__instance(V__ADVERTISING,s__WebListing) &
         s__component(V__ADVERTISING,V__PAGE)
       &
       s__patient(V__ADVERTISING,V__ITEM)
     &
     s__instance(V__ITEM,s__Physical))
   =>
   (( ? [V__DESCRIPTION, V__STATING, V__DESCRIPTIONCONTENT] :
       ((s__instance(V__DESCRIPTION,s__Process) &
           s__instance(V__DESCRIPTIONCONTENT,s__Object) &
           (s__instance(V__STATING,s__Stating) &
             s__patient(V__STATING,V__DESCRIPTION)
           &
           s__refers(V__DESCRIPTION,V__ITEM)
         &
         s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT)
       &
       s__part(V__DESCRIPTIONCONTENT,V__PAGE)))))))
)
)

UXExperimentalTerms.kif 2287-2300
( ! [V__PAGE,V__SITE] :
   (((s__instance(V__PAGE,s__ViewItemPage) &
         s__instance(V__SITE,s__WebSite) &
         s__component(V__PAGE,V__SITE))
     =>
     (( ? [V__ITEM, V__ADVERTISING] :
         ((s__instance(V__ITEM,s__Object) &
             s__instance(V__ADVERTISING,s__WebListing) &
             s__component(V__ADVERTISING,V__PAGE)
           &
           s__hostedOn(V__ADVERTISING,V__SITE)
         &
         s__patient(V__ADVERTISING,V__ITEM))))))
)
)

UXExperimentalTerms.kif 2274-2285
( ! [V__AGENT,V__PAGE,V__REQUEST,V__ACCESSING,V__LISTING] :
   (((s__instance(V__REQUEST,s__ViewItemRequest) &
         s__instance(V__ACCESSING,s__AccessingWebPage) &
         s__instance(V__PAGE,s__ViewItemPage) &
         s__instance(V__AGENT,s__Agent) &
         s__instance(V__LISTING,s__Advertising) &
         s__subProcess(V__ACCESSING,V__REQUEST)
       &
       s__component(V__PAGE,V__LISTING)
     &
     s__destination(V__ACCESSING,V__PAGE)
   &
   s__agent(V__ACCESSING,V__AGENT))
=>
(s__viewedListing(V__AGENT,V__LISTING)))
)
)

UXExperimentalTerms.kif 1777-1788
( ! [V__RIGHT,V__DEV] :
   (((s__instance(V__RIGHT,s__PhysicalRightCIButton) &
         s__component(V__RIGHT,V__DEV)
       &
       s__instance(V__DEV,s__ComputerInputDevice))
     =>
     (( ? [V__LEFT] :
         ((s__instance(V__LEFT,s__PhysicalLeftCIButton) &
             s__component(V__LEFT,V__DEV)
           &
           s__orientation(V__RIGHT,V__LEFT,s__Left))))))
)
)

ComputerInput.kif 226-235
( ! [V__SOIL,V__AREA] :
   (((s__instance(V__SOIL,s__Soil) &
         s__attribute(V__SOIL,s__Red) &
         s__instance(V__AREA,s__LandArea) &
         s__component(V__SOIL,V__AREA))
     =>
     (s__attribute(V__AREA,s__FertileTerrain)))
   )
)

Geography.kif 1814-1820
( ! [V__SOIL,V__AREA] :
   (((s__instance(V__SOIL,s__Soil) &
         s__attribute(V__SOIL,s__Yellow) &
         s__instance(V__AREA,s__LandArea) &
         s__component(V__SOIL,V__AREA))
     =>
     (~(s__attribute(V__AREA,s__FertileTerrain))))
   )
)

Geography.kif 1806-1812
( ! [V__System,V__Network,V__Event] :
   ((s__instance(V__Network,s__CorpuscularObject) =>
       (((s__instance(V__System,s__HardwareSystem) &
             s__component(V__Network,V__System)
           &
           s__instance(V__Event,s__DataTransfer) &
           s__origin(V__Event,V__System))
       =>
       ((s__instance(V__Network,s__ComputerNetwork) &
           s__instrument(V__Event,V__Network))))))
)
)

QoSontology.kif 324-332
( ! [V__PAGE,V__VISITS,V__HYPERLINK] :
   (((s__instance(V__PAGE,s__Collection) &
         s__instance(V__PAGE,s__CorpuscularObject))
       =>
       (((s__instance(V__VISITS,s__Collection) &
             s__instance(V__HYPERLINK,s__HypertextLink) &
             ( ! [V__ACCESSING] :
               ((s__member(V__ACCESSING,V__PAGE)
                 &
                 (s__instance(V__ACCESSING,s__AccessingWebPage) &
                   s__component(V__PAGE,V__HYPERLINK))))))
       =>
       (( ? [V__CLICKS] :
           ((s__instance(V__CLICKS,s__Collection) &
               ( ! [V__CLICK] :
                 (((s__instance(V__CLICK,s__RequestingHyperlink) &
                       s__patient(V__CLICK,V__HYPERLINK))
                   =>
                   (s__member(V__CLICK,V__CLICKS)))))
           &
           (s__ClickThroughRateFn(V__VISITS,V__HYPERLINK)
           = s__DivisionFn(s__CardinalityFn(V__CLICKS)
        ,s__CardinalityFn(V__VISITS))))))))))
)
)

UXExperimentalTerms.kif 3541-3564
( ! [V__MATTRESS,V__BEDFRAME,V__X] :
   (((s__instance(V__X,s__Bed) &
         s__component(V__BEDFRAME,V__X)
       &
       s__instance(V__BEDFRAME,s__BedFrame) &
       s__component(V__MATTRESS,V__X)
     &
     s__instance(V__MATTRESS,s__Mattress))
   =>
   (s__orientation(V__MATTRESS,V__BEDFRAME,s__On)))
)
)

Mid-level-ontology.kif 3935-3942

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


( ! [V__Hardware] :
   (((s__instance(V__Hardware,s__ComputerHardware) =>
         ( ? [V__Computer] :
           ((s__instance(V__Computer,s__Computer) &
               s__component(V__Hardware,V__Computer)))))
     &
     (( ? [V__Computer] :
         ((s__instance(V__Computer,s__Computer) &
             s__component(V__Hardware,V__Computer))))
     =>
     s__instance(V__Hardware,s__ComputerHardware)))
)
)

QoSontology.kif 63-68 A corpuscular object is an instance of computer hardware if and only if there exists another corpuscular object such that the other corpuscular object is an instance of computer and the corpuscular object is a component of the other corpuscular object
( ! [V__VERT] :
   (((s__instance(V__VERT,s__Vertebrate) =>
         ( ? [V__SPINE] :
           ((s__instance(V__VERT,s__Animal) &
               s__component(V__SPINE,V__VERT)
             &
             s__instance(V__SPINE,s__SpinalColumn)))))
     &
     (( ? [V__SPINE] :
         ((s__instance(V__VERT,s__Animal) &
             s__component(V__SPINE,V__VERT)
           &
           s__instance(V__SPINE,s__SpinalColumn))))
     =>
     s__instance(V__VERT,s__Vertebrate)))
)
)

Mid-level-ontology.kif 10210-10216 A corpuscular object is an instance of vertebrate if and only if there exists another corpuscular object such that the corpuscular object is an instance of animal and the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of spinal column
( ! [V__RESULTS,V__ITEM] :
   (((s__inList(V__ITEM,V__RESULTS)
       &
       s__instance(V__RESULTS,s__SRPResults))
     =>
     (( ? [V__SRP] :
         ((s__instance(V__SRP,s__SearchResultsPage) &
             s__component(V__RESULTS,V__SRP))))))
)
)

UXExperimentalTerms.kif 2701-2708
( ! [V__MID,V__DEV] :
   (((s__instance(V__MID,s__MiddleCIButton) &
         s__component(V__MID,V__DEV)
       &
       s__instance(V__DEV,s__ComputerInputDevice))
     =>
     (( ? [V__LEFT, V__RIGHT] :
         ((s__instance(V__RIGHT,s__RightCIButton) &
             s__instance(V__LEFT,s__LeftCIButton) &
             s__component(V__RIGHT,V__DEV)
           &
           s__component(V__LEFT,V__DEV)
         &
         s__between(V__LEFT,V__MID,V__RIGHT)
       &
       s__orientation(V__MID,V__LEFT,s__Left) &
       s__orientation(V__MID,V__RIGHT,s__Right))))))
)
)

ComputerInput.kif 246-259
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3928-3946
( ! [V__PAGE,V__SITE] :
   (((s__instance(V__PAGE,s__ViewItemPage) &
         s__instance(V__SITE,s__WebSite) &
         s__component(V__PAGE,V__SITE))
     =>
     (( ? [V__ITEM, V__ADVERTISING] :
         ((s__instance(V__ITEM,s__Object) &
             s__instance(V__ADVERTISING,s__WebListing) &
             s__component(V__ADVERTISING,V__PAGE)
           &
           s__hostedOn(V__ADVERTISING,V__SITE)
         &
         s__patient(V__ADVERTISING,V__ITEM))))))
)
)

UXExperimentalTerms.kif 2274-2285
( ! [V__RIGHT,V__DEV] :
   (((s__instance(V__RIGHT,s__PhysicalRightCIButton) &
         s__component(V__RIGHT,V__DEV)
       &
       s__instance(V__DEV,s__ComputerInputDevice))
     =>
     (( ? [V__LEFT] :
         ((s__instance(V__LEFT,s__PhysicalLeftCIButton) &
             s__component(V__LEFT,V__DEV)
           &
           s__orientation(V__RIGHT,V__LEFT,s__Left))))))
)
)

ComputerInput.kif 226-235
( ! [V__Mountain1,V__Range] :
   ((s__instance(V__Mountain1,s__Object) =>
       (((s__instance(V__Range,s__MountainRange) &
             s__part(V__Mountain1,V__Range))
         =>
         (( ? [V__Mountain2] :
             ((s__component(V__Mountain2,V__Range)
               &
               s__instance(V__Mountain2,s__Mountain) &
               s__meetsSpatially(V__Mountain1,V__Mountain2))))))))
)
)

Geography.kif 3854-3862
( ! [V__V,V__W] :
   (((s__instance(V__W,s__VehicleWheel) &
         s__instance(V__V,s__RoadVehicle) &
         s__part(V__W,V__V))
     =>
     (( ? [V__A] :
         ((s__instance(V__A,s__Axle) &
             s__component(V__A,V__V)
           &
           s__connected(V__W,V__A))))))
)
)

Mid-level-ontology.kif 3473-3482
( ! [V__X] :
   ((s__instance(V__X,s__CorpuscularObject) =>
       ((s__attribute(V__X,s__WaterBed) =>
           (( ? [V__MATTRESS, V__WATER] :
               ((s__instance(V__MATTRESS,s__CorpuscularObject) &
                   (s__component(V__MATTRESS,V__X)
                   &
                   s__contains(V__MATTRESS,V__WATER)
                 &
                 s__instance(V__WATER,s__Water)))))))))
)
)

Mid-level-ontology.kif 3988-3994
( ! [V__STRING,V__SITE,V__BROWSER] :
   (((s__instance(V__STRING,s__Identifier) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__BROWSER,s__WebBrowser) &
         s__instance(V__BROWSER,s__Object))
       =>
       ((s__browserID(V__STRING,V__BROWSER,V__SITE)
         =>
         (( ? [V__WEBPAGE, V__ACCESSING, V__AGENT] :
             ((s__instance(V__WEBPAGE,s__WebPage) &
                 s__component(V__WEBPAGE,V__SITE)
               &
               s__instance(V__ACCESSING,s__AccessingWebPage) &
               s__instance(V__AGENT,s__Agent) &
               s__agent(V__ACCESSING,V__AGENT)
             &
             s__instrument(V__ACCESSING,V__BROWSER)
           &
           s__destination(V__ACCESSING,V__WEBPAGE)
         &
         s__represents(V__STRING,V__AGENT))))))))
)
)

UXExperimentalTerms.kif 921-932
( ! [V__ANIMAL] :
   ((s__instance(V__ANIMAL,s__CorpuscularObject) =>
       ((s__capability(s__Breathing,s__experiencer__m,V__ANIMAL)
         =>
         (( ? [V__LUNG] :
             ((s__component(V__LUNG,V__ANIMAL)
               &
               s__instance(V__LUNG,s__Lung))))))))
)
)

Mid-level-ontology.kif 10456-10461
( ! [V__PAGE,V__SITE] :
   (((s__instance(V__PAGE,s__WebPage) &
         s__instance(V__SITE,s__WebSite))
       =>
       ((s__homePage(V__PAGE,V__SITE)
         =>
         (s__component(V__PAGE,V__SITE)))))
)
)

UXExperimentalTerms.kif 2184-2186
( ! [V__SITE,V__LISTING] :
   (((s__instance(V__SITE,s__WebSite) &
         s__instance(V__LISTING,s__WebListing) &
         s__instance(V__LISTING,s__CorpuscularObject))
       =>
       ((s__hostedOn(V__LISTING,V__SITE)
         =>
         (( ? [V__PAGE] :
             ((s__instance(V__PAGE,s__WebPage) &
                 s__component(V__LISTING,V__PAGE)
               &
               s__component(V__PAGE,V__SITE))))))))
)
)

UXExperimentalTerms.kif 157-163
( ! [V__ATOM] :
   ((s__instance(V__ATOM,s__Atom) =>
       (( ? [V__PROTON, V__ELECTRON] :
           ((s__component(V__PROTON,V__ATOM)
             &
             s__component(V__ELECTRON,V__ATOM)
           &
           s__instance(V__PROTON,s__Proton) &
           s__instance(V__ELECTRON,s__Electron))))))
)
)

Merge.kif 1035-1042
( ! [V__ATOM] :
   ((s__instance(V__ATOM,s__Atom) =>
       (( ! [V__NUCLEUS1, V__NUCLEUS2] :
           (((s__component(V__NUCLEUS1,V__ATOM)
               &
               s__component(V__NUCLEUS2,V__ATOM)
             &
             s__instance(V__NUCLEUS1,s__AtomicNucleus) &
             s__instance(V__NUCLEUS2,s__AtomicNucleus))
           =>
           ((V__NUCLEUS1 = V__NUCLEUS2)))))))
)
)

Merge.kif 1044-1053
( ! [V__BACTERIUM] :
   ((s__instance(V__BACTERIUM,s__Bacterium) =>
       (( ? [V__CELL1] :
           ((s__component(V__CELL1,V__BACTERIUM)
             &
             s__instance(V__CELL1,s__Cell) &
             ( ! [V__CELL2] :
               (((s__component(V__CELL2,V__BACTERIUM)
                   &
                   s__instance(V__CELL2,s__Cell))
                 =>
                 ((V__CELL1 = V__CELL2))))))))))
)
)

Merge.kif 13807-13818
( ! [V__BOOK] :
   ((s__instance(V__BOOK,s__Book) =>
       (( ? [V__SHEET1, V__SHEET2] :
           ((s__component(V__SHEET1,V__BOOK)
             &
             s__component(V__SHEET2,V__BOOK)
           &
           s__instance(V__SHEET1,s__PrintedSheet) &
           s__instance(V__SHEET2,s__PrintedSheet) &
           ~((V__SHEET1 = V__SHEET2)))))))
)
)

Media.kif 1079-1087
( ! [V__BOOK] :
   ((s__instance(V__BOOK,s__HardcopyDocument) =>
       (( ? [V__SHEET] :
           ((s__component(V__SHEET,V__BOOK)
             &
             s__instance(V__SHEET,s__PrintedSheet))))))
   )
)

Media.kif 1043-1048
( ! [V__C] :
   ((s__instance(V__C,s__Crane) =>
       (( ? [V__H] :
           ((s__instance(V__H,s__HoistingDevice) &
               s__component(V__H,V__C))))))
   )
)

Mid-level-ontology.kif 2411-2416
( ! [V__COMP] :
   ((s__instance(V__COMP,s__EngineeringComponent) =>
       (( ? [V__DEVICE] :
           ((s__instance(V__DEVICE,s__Device) &
               s__component(V__COMP,V__DEVICE))))))
   )
)

Merge.kif 15397-15402
( ! [V__CONCRETE] :
   ((s__instance(V__CONCRETE,s__Concrete) =>
       (( ? [V__PART] :
           ((s__instance(V__PART,s__Cement) &
               s__component(V__PART,V__CONCRETE))))))
   )
)

Economy.kif 4798-4803
( ! [V__CONCRETE] :
   ((s__instance(V__CONCRETE,s__Concrete) =>
       (( ? [V__PART] :
           ((s__instance(V__PART,s__Mineral) &
               s__component(V__PART,V__CONCRETE))))))
   )
)

Economy.kif 4791-4796
( ! [V__DISK] :
   ((s__instance(V__DISK,s__InternalHardDisk) =>
       (( ? [V__DRIVE] :
           ((s__instance(V__DRIVE,s__HardDiskDrive) &
               s__component(V__DISK,V__DRIVE))))))
   )
)

ComputerInput.kif 703-708
( ! [V__J] :
   ((s__instance(V__J,s__BodyJoint) =>
       (( ? [V__S, V__P1, V__P2] :
           ((s__instance(V__P1,s__CorpuscularObject) &
               s__instance(V__P2,s__CorpuscularObject) &
               (s__instance(V__S,s__Skeleton) &
                 s__component(V__P1,V__S)
               &
               s__component(V__P2,V__S)
             &
             s__component(V__J,V__S)
           &
           s__connects(V__J,V__P1,V__P2)))))))
)
)

Mid-level-ontology.kif 10923-10931

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