part |
appearance as argument number 1 |
![]() |
(documentation part ChineseLanguage "这是基本的逻辑分体关系。其他所有的逻辑分体关系都是根据它来下 定义的。 (part ?PART ?WHOLE) 的意思就是 Object ?PART 是 Object ?WHOLE 的一部分。 要注意 因为 part 是一个 ReflexiveRelation, 所以每个 Object 都是它自己本身的一部分。") | chinese_format.kif 1570-1572 | |
(documentation part EnglishLanguage "The basic mereological relation. All other mereological relations are defined in terms of this one. (part ?PART ?WHOLE) simply means that the Object ?PART is part of the Object ?WHOLE. Note that, since part is a ReflexiveRelation, every Object is a part of itself.") | Merge.kif 928-932 | |
(documentation part JapaneseLanguage "基本的な数学的関係。 他のすべての単なる関係は、この関係 で定義される。 (part ?PART ?WHOLE) とは、単にObject ?PARTは Object ?WHOLEの一部、という意味である。 注:part が ReflexiveRelation のため、すべての Object はそれ自体の一部である。") | japanese_format.kif 143-146 | |
(documentation part SpanishLanguage "La relación básica de mereología. Todas otras relaciones mereológicas son definidas en términos de ella. (part ?PART ?WHOLE) simplemente quiere decir el Object ?PART es parte del Object ?WHOLE. Note que, porque part es una ReflexiveRelation, cada Object es parte de consigo misma.") | spanish_format.kif 168-171 | |
(domain part 1 Object) | Merge.kif 925-925 | 部分 的 1 数量 是 客体 的 instance |
(domain part 2 Object) | Merge.kif 926-926 | 部分 的 2 数量 是 客体 的 instance |
(instance part BinaryPredicate) | Merge.kif 924-924 | 部分 是 二元谓语 的 instance |
(instance part PartialOrderingRelation) | Merge.kif 923-923 | 部分 是 偏序关系 的 instance |
(instance part SpatialRelation) | Merge.kif 922-922 | 部分 是 空间关系 的 instance |
appearance as argument number 2 |
![]() |
(disjointRelation contains part) | Merge.kif 1028-1028 | 容纳 和 部分 是 disjoint 关系 |
(format ChineseLanguage part "%1 %n 是 %2 的 part") | chinese_format.kif 161-161 | 容纳 和 部分 是 disjoint 关系 |
(format EnglishLanguage part "%1 is %n a part of %2") | english_format.kif 162-162 | 容纳 和 部分 是 disjoint 关系 |
(format FrenchLanguage part "%1 est %n une partie de %2") | french_format.kif 100-100 | 容纳 和 部分 是 disjoint 关系 |
(format ItalianLanguage part "%1 è %n una parte di %2") | relations-it.txt 210-210 | 容纳 和 部分 是 disjoint 关系 |
(format JapaneseLanguage part "%1 は %2 の part では %n") | japanese_format.kif 1929-1929 | 容纳 和 部分 是 disjoint 关系 |
(format PortugueseLanguage part "%1 e' %n uma &parte de %2") | portuguese_format.kif 52-52 | 容纳 和 部分 是 disjoint 关系 |
(format cz part "%1 %p{je} %n{nen�} ��st� %2") | relations-cz.txt 64-64 | 容纳 和 部分 是 disjoint 关系 |
(format de part "%1 ist ein teil von %2 %n{nicht}") | relations-de.txt 197-197 | 容纳 和 部分 是 disjoint 关系 |
(format hi part "%1 %2 kaa bhaaga %n hai") | relations-hindi.txt 248-248 | 容纳 和 部分 是 disjoint 关系 |
(format ro part "%1 %n{nu} este o part%t{parte} a lui %2") | relations-ro.kif 119-119 | 容纳 和 部分 是 disjoint 关系 |
(format sv part "%1 är %n{inte} en del av %2") | relations-sv.txt 101-101 | 容纳 和 部分 是 disjoint 关系 |
(format tg part "%1 %n ay ang bahagi ng %2") | relations-tg.txt 402-402 | 容纳 和 部分 是 disjoint 关系 |
(relatedInternalConcept initialPart part) | Mid-level-ontology.kif 25343-25343 | 初始部分 和 部分 是 内部相关 |
(relatedInternalConcept initiallyContainsPart part) | Mid-level-ontology.kif 25371-25371 | 最初包含部分 和 部分 是 内部相关 |
(relatedInternalConcept partTypes part) | Mid-level-ontology.kif 25397-25397 | partTypes 和 部分 是 内部相关 |
(relatedInternalConcept typicalPart part) | Mid-level-ontology.kif 25265-25265 | 典型的部分 和 部分 是 内部相关 |
(relatedInternalConcept typicallyContainsPart part) | Mid-level-ontology.kif 25302-25302 | 通常包含部分 和 部分 是 内部相关 |
(subrelation component part) | Merge.kif 975-975 | 组件 是 部分 的 subrelation |
(subrelation geneticSubstrateOfVirus part) | VirusProteinAndCellPart.kif 34-34 | 病毒的遗传基质 是 部分 的 subrelation |
(subrelation half part) | Mid-level-ontology.kif 14503-14503 | 半 是 部分 的 subrelation |
(subrelation inString part) | Mid-level-ontology.kif 26038-26038 | inString 是 部分 的 subrelation |
(subrelation interiorPart part) | Merge.kif 9828-9828 | 内在部分 是 部分 的 subrelation |
(subrelation most part) | Mid-level-ontology.kif 14552-14552 | 最 是 部分 的 subrelation |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
(<=> (and (instance ?COMBINE Combining) (resource ?COMBINE ?OBJ1) (result ?COMBINE ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?COMBINE)) (not (part ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?COMBINE)) (part ?OBJ1 ?OBJ2)))) |
Merge.kif 12620-12627 | 过程 是 结合 的 instance 和 客体 是 那个 过程 的 resource 和 实体 是 那个 过程 的 result 若且唯若 那个 客体 不 是 那个 实体 的 part 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 客体 是 那个 实体 的 part 在 那个 过程 出现 的 time 的结束 holdsDuring |
(<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThan 10.0 ?S) (greaterThan ?S 2.5)) (exists (?PM10) (and (instance ?PM10 CoarseParticulateMatter) (part ?PM10 ?PM)))) |
Geography.kif 7777-7788 | 客体 是 悬浮颗粒 的 instance 和 自身连接物体 是 那个 客体 的 part 和 1 的 approximate diameter 是 %2 和 10.0 是 greaterThan 实数 和 那个 实数 是 greaterThan 2.5 若且唯若 有存在 那个 客体10 这样 那个 客体10 是 粗悬浮颗粒 的 instance 和 那个 客体10 是 那个 客体 的 part |
(<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThanOrEqualTo ?S 2.5)) (exists (?PM25) (and (instance ?PM25 FineParticulateMatter) (part ?PM25 ?PM)))) |
Geography.kif 7806-7816 | 客体 是 悬浮颗粒 的 instance 和 自身连接物体 是 那个 客体 的 part 和 1 的 approximate diameter 是 %2 和 实数 是 greaterThanOrEqualTo 2.5 若且唯若 有存在 那个 客体25 这样 那个 客体25 是 细悬浮颗粒 的 instance 和 那个 客体25 是 那个 客体 的 part |
(<=> (instance ?BONE Bone) (exists (?SKELETON) (and (or (instance ?SKELETON Skeleton) (instance ?SKELETON Exoskeleton)) (part ?BONE ?SKELETON)))) |
Mid-level-ontology.kif 13013-13020 | 客体 是 骨骼 的 instance 若且唯若 有存在 另一个 客体 这样 那个 另外 客体 是 骨架 的 instance 或 那个 另外 客体 是 外骨骼 的 instance 和 那个 客体 是 那个 另外 客体 的 part |
(<=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (exists (?AIRPORT ?RUNWAY) (cardinality (KappaFn ?AIRPORT (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA))) ?COUNT))) |
Transportation.kif 1349-1359 | 地理区域 是 对于 非负整数 在地区 和 机场有着铺设跑道 对应的 Class 的 total 设施类别 若且唯若 有存在 符号串 和 实体 这样 那个 非负整数 是 那个 符号串 所描述的类别 的 cardinality |
(=> (accountAtSite ?ACCT ?SITE) (exists (?DATABASE ?SITE_OWNER) (and (instance ?DATABASE Database) (instance ?SITE_OWNER AutonomousAgent) (possesses ?SITE_OWNER ?SITE) (possesses ?SITE_OWNER ?DATABASE) (part ?ACCT ?DATABASE)))) |
UXExperimentalTerms.kif 632-640 |
|
(=> (and (albumCoverImage ?A ?I) (instance ?CD (AlbumCopiesFn ?A ?DS)) (contains ?C ?CD)) (modalAttribute (part ?I (FrontFn ?C)) Likely)) |
Music.kif 316-322 | |
(=> (and (attribute ?M MashupRecording) (instance ?M Recording)) (exists (?M1 ?M2 ?S1 ?S2) (and (musicInterpretation ?M1 ?S1) (musicInterpretation ?M2 ?S2) (not (equal ?S1 ?S2)) (part ?M1 ?M) (part ?M2 ?M)))) |
Music.kif 428-438 | |
(=> (and (attribute ?SYLLABLE Stressed) (instance ?WORD Word) (part ?SYLLABLE ?WORD)) (not (exists (?SYLLABLE2) (and (instance ?SYLLABLE2 Syllable) (part ?SYLLABLE2 ?WORD) (attribute ?SYLLABLE2 Stressed) (not (equal ?SYLLABLE2 ?SYLLABLE)))))) |
Mid-level-ontology.kif 21014-21024 | |
(=> (and (attribute ?X ?SHAPE) (instance ?X FourPosterBed) (instance ?SHAPE Quadrilateral) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR ?CORNER1 ?CORNER) (and (part ?POST ?X) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical) (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1) (attribute ?CORNER ?CORNER1) (meetsSpatially ?CORNER ?POST)))) |
Mid-level-ontology.kif 4521-4538 |
|
(=> (and (attribute ?X ?Y) (instance ?Y HotelLevelAttribute)) (and (instance ?X BuildingLevel) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?X ?BLDG))))) |
Hotel.kif 1215-1224 | |
(=> (and (attribute ?X TravelerAccommodation) (capability RoomCleaningService agent ?X)) (exists (?MAID ?HOTELROOM) (and (employs ?X ?MAID) (attribute ?MAID Maid) (instance ?HOTELROOM HotelUnit) (part ?HOTELROOM (PropertyFn ?X)) (capability RoomCleaningService patient ?HOTELROOM) (capability RoomCleaningService serviceProvider ?MAID)))) |
Hotel.kif 1946-1957 | |
(=> (and (capability ?PC ?ROLE ?MV) (subclass ?PC Shooting)) (exists (?WEAPON) (and (instance ?WEAPON Weapon) (part ?WEAPON ?MV) (capability ?PC ?ROLE ?WEAPON)))) |
MilitaryDevices.kif 48-56 | |
(=> (and (connectedBodyPart ?A ?B) (attribute ?H Healthy)) (exists (?AI ?BI) (and (instance ?AI ?A) (instance ?BI ?B) (part ?AI ?H) (part ?BI ?H) (connected ?AI ?BI)))) |
Mid-level-ontology.kif 13298-13308 |
|
(=> (and (connectedBodyPartTypes ?P1 ?P2 ?O) (instance ?OC ?O) (not (attribute ?H DiseaseOrSyndrome))) (exists (?PC1 ?PC2) (and (instance ?PC1 ?P1) (instance ?PC2 ?P2) (not (equal ?PC1 ?PC2)) (part ?PC1 ?OC) (part ?PC2 ?OC) (connected ?PC1 ?PC2)))) |
Anatomy.kif 32-46 |
|
(=> (and (element ?ROOM (PropertyFn ?HOTEL)) (attribute ?ROOM AnnexRoom) (instance ?ROOM HotelRoom)) (exists (?BLDG1 ?BLDG2 ?FRNT) (and (subOrganization ?FRNT ?HOTEL) (instance ?FRNT HotelFrontDesk) (located ?FRNT ?BLDG1) (element ?BLDG1 (PropertyFn ?HOTEL)) (element ?BLDG2 (PropertyFn ?HOTEL)) (part ?ROOM ?BLDG2) (not (equal ?BLDG1 ?BLDG2))))) |
Hotel.kif 1135-1148 |
|
(=> (and (equal ?L (LineFn ?P1 ?P2)) (part ?OP1 ?L) (part ?OP2 ?L) (not (equal ?OP1 ?OP2)) (equal ?L2 (LineFn ?OP1 ?OP2))) (part ?L2 ?L)) |
ComputingBrands.kif 2636-2644 | |
(=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (exists (?R ?O) (and (instance ?R (DeadFn ?ORG)) (part ?R ?O) (instance ?O ?ORG)))) |
Economy.kif 5608-5617 | |
(=> (and (experiencer ?ORGANISM ?PAIN) (instance ?PAIN (PainFn ?P))) (exists (?PART) (and (part ?PART ?ORGANISM) (located ?PART ?P)))) |
Mid-level-ontology.kif 7294-7301 | |
(=> (and (holdsDuring ?T (measure ?C ?S)) (engineIdleSpeed ?E ?S) (instance ?A Automobile) (part ?E ?A) (part ?C ?E)) (modalAttribute (not (exists (?P ?GP) (and (during ?P ?T) (instance ?P Pushing) (destination ?P ?GP) (part ?GP ?A)))) Likely)) |
Cars.kif 2551-2567 | |
(=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ)))) |
Merge.kif 10032-10039 | |
(=> (and (initialPart ?C2 ?C1) (instance ?PART ?C2)) (exists (?WHOLE) (and (instance ?WHOLE ?C1) (holdsDuring (BeginFn (WhenFn ?PART)) (part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 25356-25365 | |
(=> (and (initiallyContainsPart ?C2 ?C1) (instance ?WHOLE ?C1)) (exists (?PART) (and (instance ?PART ?C2) (holdsDuring (BeginFn (WhenFn ?WHOLE)) (part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 25383-25391 | |
(=> (and (instance ?A (BodyAreaFn ?OC)) (instance ?H Animal) (part ?A ?H)) (exists (?O) (and (instance ?O ?OC) (orientation ?A ?O Near) (part ?O ?H)))) |
Medicine.kif 6254-6263 | |
(=> (and (instance ?A Amputating) (patient ?A ?H) (instance ?L Limb)) (exists (?P ?B) (and (part ?P ?L) (part ?B ?P) (instance ?B Bone) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (part ?P ?H)) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (not (part ?P ?H)))))) |
Medicine.kif 6274-6292 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
![]() |
(part (ViralPartFn ?VIR ?PARTTYPE) ?VIR) |
VirusProteinAndCellPart.kif 1171-1171 | 病毒 和 有点 病毒部分 的 viral 部分 是 那个 病毒 的 part |
(part AtlantaGeorgia Georgia) | CountriesAndRegions.kif 711-711 | 美国佐治亚州亚特兰大 是 格鲁吉亚 的 part |
(part Australia Oceania) | CountriesAndRegions.kif 662-662 | 澳大利亚 是 大洋洲 的 part |
(part BaltimoreMaryland Maryland) | CountriesAndRegions.kif 714-714 | 巴尔的摩马里兰州 是 马里兰 的 part |
(part BostonMassachusetts Massachusetts) | CountriesAndRegions.kif 724-724 | 马萨诸塞州波士顿 是 马萨诸塞 的 part |
(part ChicagoUnitedStates Illinois) | CountriesAndRegions.kif 1611-1611 | 芝加哥美国 是 伊利诺伊 的 part |
(part ClevelandOhio Ohio) | CountriesAndRegions.kif 854-854 | 克利夫兰俄亥俄州 是 俄亥俄州 的 part |
(part Connecticut NewEngland) | CountriesAndRegions.kif 915-915 | 康涅狄格 是 新英格兰 的 part |
(part DallasTexas Texas) | CountriesAndRegions.kif 851-851 | 达拉斯得克萨斯 是 德州 的 part |
(part DetroitMichigan Michigan) | CountriesAndRegions.kif 841-841 | 底特律密执安 是 密歇根州 的 part |
(part FargoNorthDakota NorthDakota) | CountriesAndRegions.kif 835-835 | 法戈北达科他州 是 北达科他州 的 part |
(part Germany Europe) | CountriesAndRegions.kif 1242-1242 | 德国 是 欧洲 的 part |
(part Greece Europe) | CountriesAndRegions.kif 1245-1245 | 希腊 是 欧洲 的 part |
(part HoustonTexas Texas) | CountriesAndRegions.kif 828-828 | 休斯敦,德克萨斯州 是 德州 的 part |
(part HudsonRiver NewYorkState) | CountriesAndRegions.kif 832-832 | 哈德逊河 是 纽约州 的 part |
(part KansasCityMissouri Missouri) | CountriesAndRegions.kif 728-728 | 堪萨斯城密苏里州 是 密苏里州 的 part |
(part KoreanPeninsula Asia) | CountriesAndRegions.kif 820-820 | 朝鲜半岛 是 亚洲 的 part |
(part LongIsland NewYorkState) | CountriesAndRegions.kif 805-805 | 长岛 是 纽约州 的 part |
(part LosAngelesCalifornia California) | CountriesAndRegions.kif 810-810 | 洛杉矶加利福尼亚州 是 加州 的 part |
(part ManchesterNewHampshire NewHampshire) | CountriesAndRegions.kif 731-731 | 曼彻斯特新罕布什尔州 是 新罕布什尔 的 part |
(part Massachusetts NewEngland) | CountriesAndRegions.kif 989-989 | 马萨诸塞 是 新英格兰 的 part |
(part MemphisTennessee Tennessee) | CountriesAndRegions.kif 733-733 | 孟菲斯田纳西州 是 田纳西 的 part |
(part MinneapolisMinnesota Minnesota) | CountriesAndRegions.kif 737-737 | 明尼阿波利斯明尼苏达州 是 明尼苏达 的 part |
(part MississippiRiver UnitedStates) | CountriesAndRegions.kif 740-740 | 密西西比河 是 美国 的 part |
(part MontrealCanada Canada) | CountriesAndRegions.kif 746-746 | 蒙特利尔加拿大 是 加拿大 的 part |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |