| 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 876-880 | |
| (domain part 1 Object) | Merge.kif 873-873 | 部分 的 1 数量 是 客体 的 instance |
| (domain part 2 Object) | Merge.kif 874-874 | 部分 的 2 数量 是 客体 的 instance |
| (instance part PartialOrderingRelation) | Merge.kif 872-872 | 部分 是 偏序关系 的 instance |
| (instance part SpatialRelation) | Merge.kif 871-871 | 部分 是 空间关系 的 instance |
| appearance as argument number 2 |
|
|
| (disjointRelation contains part) | Merge.kif 943-943 | 容纳 和 部分 是 disjoint 关系 |
| (format ChineseLanguage part "%1 %n 是 %2 的 part") | chinese_format.kif 161-161 | |
| (format EnglishLanguage part "%1 is %n a part of %2") | english_format.kif 165-165 | |
| (relatedInternalConcept havePartTypes part) | Mid-level-ontology.kif 21676-21676 | havePartTypes 和 部分 是 内部相关 |
| (relatedInternalConcept initialPart part) | Mid-level-ontology.kif 21623-21623 | 初始部分 和 部分 是 内部相关 |
| (relatedInternalConcept initiallyContainsPart part) | Mid-level-ontology.kif 21650-21650 | 最初包含部分 和 部分 是 内部相关 |
| (relatedInternalConcept partTypes part) | Mid-level-ontology.kif 21692-21692 | partTypes 和 部分 是 内部相关 |
| (relatedInternalConcept typicalPart part) | Mid-level-ontology.kif 21549-21549 | 典型的部分 和 部分 是 内部相关 |
| (relatedInternalConcept typicallyContainsPart part) | Mid-level-ontology.kif 21586-21586 | 通常包含部分 和 部分 是 内部相关 |
| (subrelation component part) | Merge.kif 914-914 | 组件 是 部分 的 subrelation |
| (subrelation geneticSubstrateOfVirus part) | VirusProteinAndCellPart.kif 34-34 | 病毒的遗传基质 是 部分 的 subrelation |
| (subrelation half part) | Mid-level-ontology.kif 10780-10780 | 半 是 部分 的 subrelation |
| (subrelation inString part) | Mid-level-ontology.kif 22124-22124 | inString 是 部分 的 subrelation |
| (subrelation interiorPart part) | Merge.kif 9074-9074 | 内在部分 是 部分 的 subrelation |
| (subrelation most part) | Mid-level-ontology.kif 10823-10823 | 最 是 部分 的 subrelation |
| (subrelation pathInSystem part) | Transportation.kif 2703-2703 | 系统中的路径 是 部分 的 subrelation |
| (subrelation piece part) | Merge.kif 898-898 | 块 是 部分 的 subrelation |
| (subrelation properPart part) | Merge.kif 884-884 | 真正的部分 是 部分 的 subrelation |
| (subrelation quarter part) | Mid-level-ontology.kif 10814-10814 | 25美分硬币 是 部分 的 subrelation |
| (subrelation subCollection part) | Merge.kif 1189-1189 | 子集 是 部分 的 subrelation |
| (subrelation subString part) | Mid-level-ontology.kif 22160-22160 | subString 是 部分 的 subrelation |
| (subrelation third part) | Mid-level-ontology.kif 10796-10796 | 第三 是 部分 的 subrelation |
| (termFormat ChineseLanguage part "部分") | chinese_format.kif 162-162 | |
| (termFormat ChineseTraditionalLanguage part "部分") | domainEnglishFormat.kif 44412-44412 | |
| 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 11520-11527 | 过程 是 结合 的 instance 和 客体 是 那个 过程 的 resource 和 实体 是 那个 过程 的 result 若且唯若 那个 客体 不 是 那个 实体 的 part 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 客体 是 那个 实体 的 part 在 那个 过程 出现 的 time 的结束 holdsDuring |
| (<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThan 10 ?S) (greaterThan ?S 2.5)) (exists (?PM10) (and (instance ?PM10 CoarseParticulateMatter) (part ?PM10 ?PM)))) |
Geography.kif 6806-6817 | 客体 是 悬浮颗粒 的 instance 和 自身连接物体 是 那个 客体 的 part 和 1 的 approximate diameter 是 %2 和 10 是 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 6835-6845 | 客体 是 悬浮颗粒 的 instance 和 自身连接物体 是 那个 客体 的 part 和 1 的 approximate diameter 是 %2 和 实数 是 greaterThanOrEqualTo 2.5 若且唯若 有存在 那个 客体25 这样 那个 客体25 是 细悬浮颗粒 的 instance 和 那个 客体25 是 那个 客体 的 part |
| (<=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 Hole) (part ?HOLE1 ?HOLE2)))) |
Merge.kif 9341-9346 | 可填写 是 客体 的 attribute 若且唯若 有存在 另一个 客体 这样 那个 另外 客体 是 洞 的 instance 和 那个 客体 是 那个 另外 客体 的 part |
| (<=> (instance ?BONE Bone) (exists (?SKELETON) (and (or (instance ?SKELETON Skeleton) (instance ?SKELETON Exoskeleton)) (part ?BONE ?SKELETON)))) |
Mid-level-ontology.kif 9904-9911 | 客体 是 骨骼 的 instance 若且唯若 有存在 另一个 客体 这样 那个 另外 客体 是 骨架 的 instance 或 那个 另外 客体 是 外骨骼 的 instance 和 那个 客体 是 那个 另外 客体 的 part |
| (<=> (overlapsPartially ?OBJ1 ?OBJ2) (and (not (part ?OBJ1 ?OBJ2)) (not (part ?OBJ2 ?OBJ1)) (exists (?OBJ3) (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2))))) |
Merge.kif 9017-9025 | 客体 和 另一个 客体 部分重叠 若且唯若 那个 客体 不 是 那个 另外 客体 的 part 和 那个 另外 客体 不 是 那个 客体 的 part 和 有存在 第三 客体 这样 那个 第三 客体 是 那个 客体 的 part 和 那个 第三 客体 是 那个 另外 客体 的 part |
| (<=> (overlapsSpatially ?OBJ1 ?OBJ2) (exists (?OBJ3) (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2)))) |
Merge.kif 8979-8984 | 客体 和 另一个 客体 重叠 若且唯若 有存在 第三 客体 这样 那个 第三 客体 是 那个 客体 的 part 和 那个 第三 客体 是 那个 另外 客体 的 part |
| (<=> (properPart ?OBJ1 ?OBJ2) (and (part ?OBJ1 ?OBJ2) (not (part ?OBJ2 ?OBJ1)))) |
Merge.kif 891-896 | 客体 是 另一个 客体 的 properPart 若且唯若 那个 客体 是 那个 另外 客体 的 part 和 那个 另外 客体 不 是 那个 客体 的 part |
| (<=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (cardinality (KappaFn ?AIRPORT (exists (?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA)))) ?COUNT)) |
Transportation.kif 1266-1276 | 地理区域 是 对于 非负整数 在地区 和 机场有着铺设跑道 对应的 Class 的 total 设施类别 若且唯若 那个 非负整数 是 符号串 所描述的类别 的 cardinality |
| (=> (accountAtSite ?ACCT ?SITE) (exists (?DATABASE ?SITE_OWNER) (and (instance ?DATABASE Database) (instance ?SITE_OWNER Agent) (possesses ?SITE ?SITE_OWNER) (possesses ?DATABASE ?SITE_OWNER) (part ?ACCT ?DATABASE)))) |
UXExperimentalTerms.kif 780-788 | |
| (=> (and (albumCoverImage ?A ?I) (instance ?CD (AlbumCopiesFn ?A ?DS)) (contains ?C ?CD)) (modalAttribute (part ?I (FrontFn ?C)) Likely)) |
Music.kif 313-319 | |
| (=> (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 423-433 | |
| (=> (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 17224-17234 | |
| (=> (and (attribute ?X ?Y) (instance ?Y HotelLevelAttribute)) (and (instance ?X BuildingLevel) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?X ?BLDG))))) |
Hotel.kif 1158-1167 | |
| (=> (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 1883-1894 | |
| (=> (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 (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 1084-1097 |
|
| (=> (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 2605-2613 | |
| (=> (and (havePartTypes ?PART_TYPE ?WHOLE_TYPE) (instance ?WHOLE ?WHOLE_TYPE)) (exists (?PART) (and (instance ?PART ?PART_TYPE) (part ?PART ?WHOLE)))) |
Mid-level-ontology.kif 21679-21686 | |
| (=> (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 2554-2570 | |
| (=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ)))) |
Merge.kif 9273-9280 | |
| (=> (and (initialPart ?C2 ?C1) (instance ?PART ?C2)) (exists (?WHOLE) (and (instance ?WHOLE ?C1) (holdsDuring (BeginFn (WhenFn ?PART)) (part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 21635-21644 | |
| (=> (and (initiallyContainsPart ?C2 ?C1) (instance ?WHOLE ?C1)) (exists (?PART) (and (instance ?PART ?C2) (holdsDuring (BeginFn (WhenFn ?WHOLE)) (part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 21662-21670 | |
| (=> (and (instance ?A Biped) (instance ?W Ambulating) (agent ?W ?A)) (modalAttribute (exists (?L1 ?L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (part ?L1 ?A) (part ?L2 ?A) (instrument ?W ?L1) (instrument ?W ?L2))) Likely)) |
Mid-level-ontology.kif 4879-4893 | |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithPavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT)))) |
Transportation.kif 1346-1353 | |
| 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 578-578 | 病毒 和 有点 病毒部分 的 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 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners