Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - initialPart
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 22339-22345
(domainSubclass initialPart 1 Object) Mid-level-ontology.kif 22347-22347
(domainSubclass initialPart 2 Object) Mid-level-ontology.kif 22348-22348
(instance initialPart BinaryPredicate) Mid-level-ontology.kif 22336-22336
(instance initialPart SpatialRelation) Mid-level-ontology.kif 22337-22337
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 22338-22338

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 22350-22359

appearance as argument number 0
-------------------------


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 22361-22361
(initialPart AnimalShell Animal) Mid-level-ontology.kif 10396-10396
(initialPart Bicep Arm) Mid-level-ontology.kif 9702-9702
(initialPart CalfMuscle Leg) Mid-level-ontology.kif 9720-9720
(initialPart Cornea Eye) Mid-level-ontology.kif 10971-10971
(initialPart DigitAppendage Limb) Mid-level-ontology.kif 11282-11282
(initialPart EggYolk Egg) Food.kif 541-541
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 10540-10540
(initialPart Forearm Arm) Mid-level-ontology.kif 9749-9749
(initialPart Hair Animal) Mid-level-ontology.kif 10651-10651
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 9735-9735
(initialPart Juice FruitOrVegetable) Food.kif 592-592
(initialPart LatissimusDorsi Torso) Mid-level-ontology.kif 9694-9694
(initialPart LowerLeg Leg) Mid-level-ontology.kif 9764-9764
(initialPart Mushroom Fungus) Food.kif 678-678
(initialPart Pectoralis Chest) Mid-level-ontology.kif 9687-9687
(initialPart Rib Chest) Mid-level-ontology.kif 10153-10153
(initialPart SalivaryGland Mouth) Mid-level-ontology.kif 11126-11126
(initialPart ShinMuscle Leg) Mid-level-ontology.kif 9727-9727
(initialPart ThighMuscle Leg) Mid-level-ontology.kif 9712-9712
(initialPart Tricep Arm) Mid-level-ontology.kif 9707-9707
(initialPart UpperArm Arm) Mid-level-ontology.kif 9754-9754
(initialPart UpperLeg Leg) Mid-level-ontology.kif 9759-9759
(initialPart VocalCords Human) Mid-level-ontology.kif 738-738
(initialPart VocalFold VocalCords) Mid-level-ontology.kif 749-749

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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