| 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 21889-21895 | |
| (domainSubclass initialPart 1 Object) | Mid-level-ontology.kif 21897-21897 | domainSubclass initialPart, 1 and Object |
| (domainSubclass initialPart 2 Object) | Mid-level-ontology.kif 21898-21898 | domainSubclass initialPart, 2 and Object |
| (instance initialPart BinaryPredicate) | Mid-level-ontology.kif 21886-21886 | instance initialPart and BinaryPredicate |
| (instance initialPart SpatialRelation) | Mid-level-ontology.kif 21887-21887 | instance initialPart and SpatialRelation |
| (relatedInternalConcept initialPart part) | Mid-level-ontology.kif 21888-21888 | relatedInternalConcept initialPart and part |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage initialPart "%每个 %1 是 %2 的 initially part ") | domainEnglishFormat.kif 3711-3711 | |
| (format ChineseTraditionalLanguage initialPart "%每個 %1 是 %2 的 initially part ") | domainEnglishFormat.kif 3710-3710 | |
| (format EnglishLanguage initialPart "every %1 is initially part of a %2") | domainEnglishFormat.kif 3709-3709 | |
| (termFormat ChineseLanguage initialPart "初始部分") | domainEnglishFormat.kif 30114-30114 | |
| (termFormat ChineseTraditionalLanguage initialPart "初始部分") | domainEnglishFormat.kif 30113-30113 | |
| (termFormat EnglishLanguage initialPart "initial part") | domainEnglishFormat.kif 30112-30112 |
| 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 21900-21909 |
| appearance as argument number 0 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners