  component
|
|
Sigma KEE - 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)
|