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 24019-24025 | |
(domainSubclass initialPart 1 Object) | Mid-level-ontology.kif 24027-24027 | The number 1 argument of initial part is a subclass of object |
(domainSubclass initialPart 2 Object) | Mid-level-ontology.kif 24028-24028 | The number 2 argument of initial part is a subclass of object |
(instance initialPart BinaryPredicate) | Mid-level-ontology.kif 24015-24015 | initial part is an instance of binary predicate |
(instance initialPart SpatialRelation) | Mid-level-ontology.kif 24016-24016 | initial part is an instance of spatial relation |
(relatedInternalConcept initialPart initiallyContainsPart) | Mid-level-ontology.kif 24018-24018 | initial part is internally related to initially contains part |
(relatedInternalConcept initialPart part) | Mid-level-ontology.kif 24017-24017 | initial part is internally related to part |
appearance as argument number 2 |
![]() |
(format ChineseLanguage initialPart "%每个 %1 是 %2 的 initially part ") | domainEnglishFormat.kif 3700-3700 | |
(format ChineseTraditionalLanguage initialPart "%每個 %1 是 %2 的 initially part ") | domainEnglishFormat.kif 3699-3699 | |
(format EnglishLanguage initialPart "every %1 is initially part of a %2") | domainEnglishFormat.kif 3698-3698 | |
(termFormat ChineseLanguage initialPart "初始部分") | domainEnglishFormat.kif 30156-30156 | |
(termFormat ChineseTraditionalLanguage initialPart "初始部分") | domainEnglishFormat.kif 30155-30155 | |
(termFormat EnglishLanguage initialPart "initial part") | domainEnglishFormat.kif 30154-30154 |
antecedent |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |