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 23699-23705 | |
(domainSubclass initialPart 1 Object) | Mid-level-ontology.kif 23707-23707 | |
(domainSubclass initialPart 2 Object) | Mid-level-ontology.kif 23708-23708 | |
(instance initialPart BinaryPredicate) | Mid-level-ontology.kif 23696-23696 | |
(instance initialPart SpatialRelation) | Mid-level-ontology.kif 23697-23697 | |
(relatedInternalConcept initialPart part) | Mid-level-ontology.kif 23698-23698 |
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 23710-23719 | |
(=> (and (instance ?NUCLEUS ?CLASS) (subclass ?CLASS CellNucleus) (initialPart ?CLASS EukaryoticCell)) (exists (?CHROMOTIN) (and (instance ?CHROMOTIN Chromotin) (part ?CHROMOTIN ?NUCLEUS)))) |
VirusProteinAndCellPart.kif 600-608 | |
(=> (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 |
(initialPart AnimalAnatomicalStructure Animal) | Mid-level-ontology.kif 23721-23721 | |
(initialPart AnimalShell Animal) | Mid-level-ontology.kif 11529-11529 | |
(initialPart ArmBone Arm) | Anatomy.kif 688-688 | |
(initialPart AvocadoOil Avocado) | Economy.kif 4583-4583 | |
(initialPart BarleyGrain BarleyGrass) | Economy.kif 4130-4130 | |
(initialPart Bicep Arm) | Mid-level-ontology.kif 10783-10783 | |
(initialPart Bone Primate) | Anatomy.kif 21-21 | |
(initialPart CalfMuscle Leg) | Mid-level-ontology.kif 10801-10801 | |
(initialPart Chocolate CocoaBean) | Food.kif 2439-2439 | |
(initialPart CocoaButter CocoaLiquor) | Food.kif 2492-2492 | |
(initialPart CocoaSolid CocoaLiquor) | Food.kif 2484-2484 | |
(initialPart CoconutOil Coconut) | Economy.kif 4580-4580 | |
(initialPart Coffee CoffeeBean) | Food.kif 634-634 | |
(initialPart CommonWheatFlour CommonWheatGrain) | Food.kif 1507-1507 | |
(initialPart CornFlour MaizeGrain) | Food.kif 1547-1547 | |
(initialPart Cornea Eye) | Mid-level-ontology.kif 12135-12135 | |
(initialPart DigitAppendage Limb) | Mid-level-ontology.kif 12505-12505 | |
(initialPart DurumWheatFlour DurumWheatGrain) | Food.kif 1517-1517 | |
(initialPart EggYolk Egg) | Food.kif 2547-2547 | |
(initialPart Exoskeleton Animal) | Mid-level-ontology.kif 11673-11673 | |
(initialPart Eyebrow Head) | Anatomy.kif 1438-1438 | |
(initialPart FingerBone Hand) | Anatomy.kif 880-880 | |
(initialPart FleshOrPulp FruitOrVegetable) | Food.kif 2311-2311 | |
(initialPart FoodBone Foot) | Anatomy.kif 1102-1102 | |
(initialPart Forearm Arm) | Mid-level-ontology.kif 10830-10830 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |