initiallyContainsPart |
appearance as argument number 1 |
![]() |
(documentation initiallyContainsPart EnglishLanguage "Every instance of the second argument initially contains an instance of the first argument, even though it might lose that part later in its lifetime. Every normal human starts life with an appendix for example. While the whole must initially contain such a part, this does not say that each part necessarily initially exists as part of such a whole. This is a class-level relation roughly corresponding to part.") | Mid-level-ontology.kif 25372-25378 | |
(domainSubclass initiallyContainsPart 1 Object) | Mid-level-ontology.kif 25380-25380 | initiallyContainsPart の数値 1 引数は オブジェクト のsubclass では |
(domainSubclass initiallyContainsPart 2 Object) | Mid-level-ontology.kif 25381-25381 | initiallyContainsPart の数値 2 引数は オブジェクト のsubclass では |
(instance initiallyContainsPart BinaryPredicate) | Mid-level-ontology.kif 25369-25369 | initiallyContainsPart は 2進述語 の instance では |
(instance initiallyContainsPart SpatialRelation) | Mid-level-ontology.kif 25370-25370 | initiallyContainsPart は 空間的関係 の instance では |
(relatedInternalConcept initiallyContainsPart part) | Mid-level-ontology.kif 25371-25371 | initiallyContainsPart は part に internally 関連して |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (initiallyContainsPart ?C2 ?C1) (instance ?WHOLE ?C1)) (exists (?PART) (and (instance ?PART ?C2) (holdsDuring (BeginFn (WhenFn ?WHOLE)) (part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 25383-25391 |
appearance as argument number 0 |
![]() |
(initiallyContainsPart Brain Human) | Mid-level-ontology.kif 25338-25338 | initiallyContainsPart Brain and 人[人間] |
(initiallyContainsPart ComputerKeyboard Laptop) | Mid-level-ontology.kif 31467-31467 | initiallyContainsPart ComputerKeyboard and Laptop |
(initiallyContainsPart ComputerScreen Laptop) | Mid-level-ontology.kif 31468-31468 | initiallyContainsPart ComputerScreen and Laptop |
(initiallyContainsPart Heart Human) | Mid-level-ontology.kif 25339-25339 | initiallyContainsPart Heart and 人[人間] |
(initiallyContainsPart IDeviceHomeButton AppleIPad) | ComputingBrands.kif 3147-3147 | initiallyContainsPart ホームボタン and iPad |
(initiallyContainsPart IDeviceHomeButton AppleIPhone) | ComputingBrands.kif 3146-3146 | initiallyContainsPart ホームボタン and iPhone |
(initiallyContainsPart IDeviceHomeButton AppleIPod) | ComputingBrands.kif 3148-3148 | initiallyContainsPart ホームボタン and iPod |
![]() |
![]() |