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 920-924 | |
(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 917-917 | part の数値 1 引数は オブジェクト の instance では %n |
(domain part 2 Object) | Merge.kif 918-918 | part の数値 2 引数は オブジェクト の instance では %n |
(instance part BinaryPredicate) | Merge.kif 916-916 | part は 2進述語 の instance では %n |
(instance part PartialOrderingRelation) | Merge.kif 915-915 | part は 半順序関係 の instance では %n |
(instance part SpatialRelation) | Merge.kif 914-914 | part は 空間的関係 の instance では %n |
appearance as argument number 2 |
![]() |
(disjointRelation contains part) | Merge.kif 1018-1018 | contains と part は disjoint では %n |
(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 162-162 | |
(format FrenchLanguage part "%1 est %n une partie de %2") | french_format.kif 100-100 | |
(format ItalianLanguage part "%1 � %n una parte di %2") | relations-it.txt 210-210 | |
(format JapaneseLanguage part "%1 は %2 の part では %n") | japanese_format.kif 1929-1929 | |
(format PortugueseLanguage part "%1 e' %n uma &parte de %2") | portuguese_format.kif 52-52 | |
(format cz part "%1 %p{je} %n{nen�} ��st� %2") | relations-cz.txt 64-64 | |
(format de part "%1 ist ein teil von %2 %n{nicht}") | relations-de.txt 197-197 | |
(format hi part "%1 %2 kaa bhaaga %n hai") | relations-hindi.txt 248-248 | |
(format ro part "%1 %n{nu} este o part%t{parte} a lui %2") | relations-ro.kif 119-119 | |
(format sv part "%1 är %n{inte} en del av %2") | relations-sv.txt 101-101 | |
(format tg part "%1 %n ay ang bahagi ng %2") | relations-tg.txt 402-402 | |
(relatedInternalConcept havePartTypes part) | Mid-level-ontology.kif 23832-23832 | havePartTypes は part に internally 関連して %n |
(relatedInternalConcept initialPart part) | Mid-level-ontology.kif 23779-23779 | initialPart は part に internally 関連して %n |
(relatedInternalConcept initiallyContainsPart part) | Mid-level-ontology.kif 23806-23806 | initiallyContainsPart は part に internally 関連して %n |
(relatedInternalConcept partTypes part) | Mid-level-ontology.kif 23849-23849 | partTypes は part に internally 関連して %n |
(relatedInternalConcept typicalPart part) | Mid-level-ontology.kif 23705-23705 | typicalPart は part に internally 関連して %n |
(relatedInternalConcept typicallyContainsPart part) | Mid-level-ontology.kif 23742-23742 | typicallyContainsPart は part に internally 関連して %n |
(subrelation component part) | Merge.kif 965-965 | component は part の subrelation では %n |
(subrelation geneticSubstrateOfVirus part) | VirusProteinAndCellPart.kif 34-34 | geneticSubstrateOfVirus は part の subrelation では %n |
(subrelation half part) | Mid-level-ontology.kif 13043-13043 | half は part の subrelation では %n |
(subrelation inString part) | Mid-level-ontology.kif 24456-24456 | inString は part の subrelation では %n |
(subrelation interiorPart part) | Merge.kif 9676-9676 | interiorPart は part の subrelation では %n |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
(=> (and (amount ?S ?CO (MeasureFn ?N ?U)) (instance ?SI ?S) (measure ?SI (MeasureFn ?N2 ?U)) (part ?SI ?CO)) (exists (?L) (and (inList (MeasureFn ?N2 ?U) ?L) (equal ?L (AmountsFn ?S ?CO ?U)) (equal ?N (ListSumFn ?L))))) |
Merge.kif 7582-7597 | |
(=> (and (antagonistMuscles ?A ?B) (instance ?E Extension) (instrument ?E ?AC) (moves ?F ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Mammal)) (capability Flexion instrument ?BC)) |
Mid-level-ontology.kif 10577-10588 | |
(=> (and (antagonistMuscles ?A ?B) (instance ?F Flexion) (instrument ?F ?AC) (moves ?F ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Mammal)) (capability Extension instrument ?BC)) |
Mid-level-ontology.kif 10564-10575 | |
(=> (and (attribute ?AREA FlatTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.005 ?SLOPE)) |
Geography.kif 1752-1757 | |
(=> (and (attribute ?AREA LowTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.03 ?SLOPE)) |
Geography.kif 1764-1769 | |
(=> (and (attribute ?O Concave) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?L)) (orientation ?PL ?O Outside)) |
ComputingBrands.kif 2693-2704 |
|
(=> (and (attribute ?O Convex) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?L)) (orientation ?PL ?O Inside)) |
ComputingBrands.kif 2665-2676 |
|
(=> (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 19276-19286 | |
(=> (and (bottom ?BOTTOM ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?BOTTOM))) (orientation ?PART ?BOTTOM Above)) |
Merge.kif 9699-9704 |
|
(=> (and (connected ?X ?Y) (part ?Y ?Z)) (connected ?X ?Z)) |
Geography.kif 514-518 | |
(=> (and (cylinderBore ?CY ?M) (instance ?CY Cylinder) (instance ?CI Circle) (part ?CI ?CY)) (diameter ?CI ?M)) |
Cars.kif 1538-1544 | |
(=> (and (engineIdleSpeed ?E (RotationFn (MeasureFn ?N1 MilesPerHour) ?M)) (instance ?A Automobile) (instance ?P GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?E ?A) (part ?GP ?A) (instance ?C Crankshaft) (part ?C ?E) (holdsDuring (WhenFn ?P) (measure ?C (RotationFn (MeasureFn ?N2 MilesPerHour) ?M)))) (modalAttribute (greaterThan ?N2 ?N1) Likely)) |
Cars.kif 2585-2603 |
|
(=> (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 (holdsDuring ?T (attribute ?H (DeadOrMissingBodyPartFn ?P))) (instance ?PI ?P) (part ?PI ?H) (hasPurpose ?PI ?F)) (not ?F)) |
Merge.kif 18127-18135 | |
(=> (and (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn ?P))) (instance ?PI ?P) (part ?PI ?H) (hasPurpose ?PI ?F)) (modalAttribute (not ?F) Likely)) |
Merge.kif 18106-18116 | |
(=> (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 2567-2583 |
|
(=> (and (holdsDuring ?T (possesses ?PERSON ?OBJ)) (part ?P ?OBJ)) (holdsDuring ?T (possesses ?PERSON ?P))) |
Merge.kif 4244-4250 | |
(=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2))) |
Merge.kif 9887-9893 |
|
(=> (and (instance ?A Animal) (instance ?S AnimalShell) (part ?S ?A)) (or (instance ?A Invertebrate) (instance ?A Reptile))) |
Mid-level-ontology.kif 11401-11408 | |
(=> (and (instance ?A Antacid) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?A) (instance ?S Stomach) (part ?S ?H) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (and (contains ?S ?F1) (instance ?F1 Fluid))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (and (contains ?S ?F2) (instance ?F2 Fluid))) (phMeasure ?F1 ?N1) (phMeasure ?F2 ?N2)) (greaterThan ?N2 ?N1)) |
Mid-level-ontology.kif 9791-9813 |
|
(=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (exists (?MAINTAINING) (and (instance ?MAINTAINING Maintaining) (instrument ?MAINTAINING ?A) (experiencer ?MAINTAINING ?OBJ))))) |
MilitaryDevices.kif 1619-1630 | |
(=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (not (exists (?DAMAGING) (and (instance ?DAMAGING Damaging) (instrument ?DAMAGING ?A) (experiencer ?DAMAGING ?OBJ)))))) |
MilitaryDevices.kif 1632-1644 | |
(=> (and (instance ?A ProtonPumpInhibitor) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?A) (instance ?S Stomach) (part ?S ?H) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (and (contains ?S ?F1) (instance ?F1 Fluid))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (and (contains ?S ?F2) (instance ?F2 Fluid))) (phMeasure ?F1 ?N1) (phMeasure ?F2 ?N2)) (greaterThan ?N2 ?N1)) |
Mid-level-ontology.kif 9852-9874 |
|
(=> (and (instance ?A1 Automobile) (instance ?A2 Automobile) (instance ?S1 AutomobileShock) (part ?S1 ?A1) (not (exists (?S2) (and (instance ?S2 AutomobileShock) (part ?S2 ?A2)))) (dampingRatio ?A1 ?R1) (dampingRatio ?A2 ?R2)) (greaterThan ?R2 ?R1)) |
Cars.kif 853-866 |
|
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate)) |
Mid-level-ontology.kif 11545-11550 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
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 12357-12364 | 工程 は 組み合わせ の instance では %n オブジェクト は 工程 の resource では %n エンティティー は 工程 の result では %n オブジェクト は エンティティー の part では は 工程 の time の existence の beginning の during holds %n{ない} オブジェクト は エンティティー の part では %n は 工程 の time の existence の end の during holds %n{ない} |
(<=> (instance ?BONE Bone) (exists (?SKELETON) (and (or (instance ?SKELETON Skeleton) (instance ?SKELETON Exoskeleton)) (part ?BONE ?SKELETON)))) |
Mid-level-ontology.kif 11552-11559 | オブジェクト は 骨 の instance では %n オブジェクト オブジェクト は Skeleton の instance では %n オブジェクト は Exoskeleton の instance では %n オブジェクト は オブジェクト の part では %n |
(<=> (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 1277-1287 | totalFacilityTypeInArea 地理的地域, AirportWithPavedRunway に対する class and 非負整数 記号文字列 エンティティー cardinality 記号文字列で記述される class and 非負整数 |
(=> (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 784-792 |
|
(=> (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 426-436 | |
(=> (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 19276-19286 | |
(=> (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 4045-4062 |
|
(=> (and (attribute ?X ?Y) (instance ?Y HotelLevelAttribute)) (and (instance ?X BuildingLevel) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?X ?BLDG))))) |
Hotel.kif 1207-1216 | |
(=> (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 1935-1946 |
|
(=> (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 11837-11847 | |
(=> (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 1127-1140 |
|
(=> (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 (experiencer ?ORGANISM ?PAIN) (instance ?PAIN (PainFn ?P))) (exists (?PART) (and (part ?PART ?ORGANISM) (located ?PART ?P)))) |
Mid-level-ontology.kif 6324-6331 |
|
(=> (and (havePartTypes ?PART_TYPE ?WHOLETYPE) (instance ?WHOLE ?WHOLETYPE)) (exists (?PART) (and (instance ?PART ?PART_TYPE) (part ?PART ?WHOLE)))) |
Mid-level-ontology.kif 23836-23843 | |
(=> (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 2567-2583 |
|
(=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ)))) |
Merge.kif 9878-9885 |
|
(=> (and (initialPart ?C2 ?C1) (instance ?PART ?C2)) (exists (?WHOLE) (and (instance ?WHOLE ?C1) (holdsDuring (BeginFn (WhenFn ?PART)) (part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 23791-23800 | |
(=> (and (initiallyContainsPart ?C2 ?C1) (instance ?WHOLE ?C1)) (exists (?PART) (and (instance ?PART ?C2) (holdsDuring (BeginFn (WhenFn ?WHOLE)) (part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 23818-23826 | |
(=> (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 4378-4392 |
|
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithPavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT)))) |
Transportation.kif 1357-1364 | |
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithUnpavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY UnpavedRunway) (part ?RUNWAY ?AIRPORT)))) |
Transportation.kif 1371-1378 | |
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT LongRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 2438) (lessThanOrEqualTo ?LENGTH 3047))))) |
Transportation.kif 1445-1457 | |
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT MediumLengthRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 1524) (lessThanOrEqualTo ?LENGTH 2437))))) |
Transportation.kif 1426-1438 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
![]() |
![]() |
![]() |