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 23756-23762 | |
(domainSubclass initialPart 1 Object) | Mid-level-ontology.kif 23764-23764 | 域子類 初始部分, 1 and Object |
(domainSubclass initialPart 2 Object) | Mid-level-ontology.kif 23765-23765 | 域子類 初始部分, 2 and Object |
(instance initialPart BinaryPredicate) | Mid-level-ontology.kif 23752-23752 | 例 初始部分 and BinaryPredicate |
(instance initialPart SpatialRelation) | Mid-level-ontology.kif 23753-23753 | 例 初始部分 and SpatialRelation |
(relatedInternalConcept initialPart initiallyContainsPart) | Mid-level-ontology.kif 23755-23755 | 相關的內部概念 初始部分 and 最初包含部分 |
(relatedInternalConcept initialPart part) | Mid-level-ontology.kif 23754-23754 | 相關的內部概念 初始部分 and 部分 |
appearance as argument number 2 |
(format ChineseLanguage initialPart "%每个 %1 是 %2 的 initially part ") | domainEnglishFormat.kif 3706-3706 | |
(format ChineseTraditionalLanguage initialPart "%每個 %1 是 %2 的 initially part ") | domainEnglishFormat.kif 3705-3705 | |
(format EnglishLanguage initialPart "every %1 is initially part of a %2") | domainEnglishFormat.kif 3704-3704 | |
(termFormat ChineseLanguage initialPart "初始部分") | domainEnglishFormat.kif 30127-30127 | |
(termFormat ChineseTraditionalLanguage initialPart "初始部分") | domainEnglishFormat.kif 30126-30126 | |
(termFormat EnglishLanguage initialPart "initial part") | domainEnglishFormat.kif 30125-30125 |
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 23767-23776 | |
(=> (and (instance ?NUCLEUS ?CLASS) (subclass ?CLASS CellNucleus) (initialPart ?CLASS EukaryoticCell)) (exists (?CHROMOTIN) (and (instance ?CHROMOTIN Chromotin) (part ?CHROMOTIN ?NUCLEUS)))) |
VirusProteinAndCellPart.kif 599-607 | |
(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock)) |
Food.kif 1633-1639 | |
(=> (initialPart DairyArtifact ?CLASS) (equal ?CLASS Milk)) |
Food.kif 2822-2824 | |
(=> (initialPart Tea ?TEA) (or (equal ?TEA TeaBud) (equal ?TEA TeaLeaf) (equal ?TEA TeaTwig))) |
Food.kif 1809-1814 |
consequent |
appearance as argument number 0 |