initialPart |
appearance as argument number 1 |
![]() |
(documentation initialPart EnglishLanguage "Every instance of the first argument is initially found as part of an instance of the second argument, even though it might lose that part later in its lifetime. While the part must initially exist as part of a whole, this does not say that each whole necessarily initially contains such a part. For example, a thumb must at some time have been part of a hand, but every hand need not have a thumb, even at birth. This is a class-level relation roughly corresponding to part.") | Mid-level-ontology.kif 25347-25353 | |
(domainSubclass initialPart 1 Object) | Mid-level-ontology.kif 25355-25355 | initialPart の数値 1 引数は オブジェクト のsubclass では |
(domainSubclass initialPart 2 Object) | Mid-level-ontology.kif 25356-25356 | initialPart の数値 2 引数は オブジェクト のsubclass では |
(instance initialPart BinaryPredicate) | Mid-level-ontology.kif 25343-25343 | initialPart は 2進述語 の instance では |
(instance initialPart SpatialRelation) | Mid-level-ontology.kif 25344-25344 | initialPart は 空間的関係 の instance では |
(relatedInternalConcept initialPart initiallyContainsPart) | Mid-level-ontology.kif 25346-25346 | initialPart は initiallyContainsPart に internally 関連して |
(relatedInternalConcept initialPart part) | Mid-level-ontology.kif 25345-25345 | initialPart は part に internally 関連して |
appearance as argument number 2 |
![]() |
(format ChineseLanguage initialPart "%每个 %1 是 %2 的 initially part ") | domainEnglishFormat.kif 3704-3704 | |
(format ChineseTraditionalLanguage initialPart "%每個 %1 是 %2 的 initially part ") | domainEnglishFormat.kif 3703-3703 | |
(format EnglishLanguage initialPart "every %1 is initially part of a %2") | domainEnglishFormat.kif 3702-3702 | |
(termFormat ChineseLanguage initialPart "初始部分") | domainEnglishFormat.kif 30138-30138 | |
(termFormat ChineseTraditionalLanguage initialPart "初始部分") | domainEnglishFormat.kif 30137-30137 | |
(termFormat EnglishLanguage initialPart "initial part") | domainEnglishFormat.kif 30136-30136 |
antecedent |
![]() |
(=> (and (initialPart ?C2 ?C1) (instance ?PART ?C2)) (exists (?WHOLE) (and (instance ?WHOLE ?C1) (holdsDuring (BeginFn (WhenFn ?PART)) (part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 25358-25367 | |
(=> (and (instance ?NUCLEUS ?CLASS) (subclass ?CLASS CellNucleus) (initialPart ?CLASS EukaryoticCell)) (exists (?CHROMOTIN) (and (instance ?CHROMOTIN Chromotin) (part ?CHROMOTIN ?NUCLEUS)))) |
VirusProteinAndCellPart.kif 605-613 | |
(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock)) |
Food.kif 1639-1645 |
|
(=> (initialPart DairyArtifact ?CLASS) (equal ?CLASS Milk)) |
Food.kif 2829-2831 |
|
(=> (initialPart Tea ?TEA) (or (equal ?TEA TeaBud) (equal ?TEA TeaLeaf) (equal ?TEA TeaTwig))) |
Food.kif 1815-1820 |
consequent |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |