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 24019-24025
(domainSubclass initialPart 1 Object) Mid-level-ontology.kif 24027-24027
(domainSubclass initialPart 2 Object) Mid-level-ontology.kif 24028-24028
(instance initialPart BinaryPredicate) Mid-level-ontology.kif 24015-24015
(instance initialPart SpatialRelation) Mid-level-ontology.kif 24016-24016
(relatedInternalConcept initialPart initiallyContainsPart) Mid-level-ontology.kif 24018-24018
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 24017-24017

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


(=>
    (and
        (initialPart ?C2 ?C1)
        (instance ?PART ?C2))
    (exists (?WHOLE)
        (and
            (instance ?WHOLE ?C1)
            (holdsDuring
                (BeginFn
                    (WhenFn ?PART))
                (part ?PART ?WHOLE)))))		 Mid-level-ontology.kif 24030-24039
(=>
    (and
        (instance ?NUCLEUS ?CLASS)
        (subclass ?CLASS CellNucleus)
        (initialPart ?CLASS EukaryoticCell))
    (exists (?CHROMOTIN)
        (and
            (instance ?CHROMOTIN Chromotin)
            (part ?CHROMOTIN ?NUCLEUS))))		 VirusProteinAndCellPart.kif 599-607
(=>
    (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
-------------------------


(=>
    (and
        (equal ?AF
            (OrganicObjectFn ?F))
        (subclass ?AF AnimalFat)
        (subclass ?F FatTissue))
    (initialPart ?F Animal))		 Food.kif 2876-2882
(=>
    (and
        (equal ?B
            (OrganicObjectFn ?P))
        (subclass ?B CoffeeBean)
        (subclass ?P Seed))
    (initialPart ?P CoffeePlant))		 Economy.kif 4744-4749
(=>
    (and
        (equal ?C
            (OrganicObjectFn ?S))
        (subclass ?C CocoaBean)
        (subclass ?S Seed))
    (initialPart ?S CocoaTree))		 Economy.kif 4808-4814
(=>
    (and
        (equal ?M
            (OrganicObjectFn ?G))
        (subclass ?M Malt)
        (subclass ?G CerealGrain))
    (initialPart ?G CerealGrass))		 Economy.kif 4281-4287
(=>
    (and
        (equal ?O
            (OrganicObjectFn ?S))
        (subclass ?O OilFromPlant)
        (or
            (subclass ?S Seed)
            (subclass ?S Fruit)))
    (exists (?P)
        (and
            (subclass ?P FloweringPlant)
            (initialPart ?S ?P))))		 Economy.kif 4647-4658
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?F))
        (subclass ?S Suet)
        (subclass ?F FatTissue))
    (or
        (initialPart ?F Cattle)
        (initialPart ?F Sheep)))		 Food.kif 2906-2914
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Lambskin)
        (subclass ?O Skin))
    (initialPart ?O Lamb))		 Economy.kif 5156-5161
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Sheepskin)
        (subclass ?O Skin))
    (initialPart ?O Sheep))		 Economy.kif 5166-5171
(=>
    (and
        (equal ?T
            (OrganicObjectFn ?S))
        (subclass ?T TeaPlantAerialPart)
        (subclass ?S PlantStem))
    (initialPart ?S TeaPlant))		 Economy.kif 4830-4836
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W BalsaWood)
        (subclass ?S PlantStem))
    (initialPart ?S BalsaTree))		 Economy.kif 5411-5416
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W BeechWood)
        (subclass ?S PlantStem))
    (initialPart ?S BeechTree))		 Economy.kif 5421-5426
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W BirchWood)
        (subclass ?S PlantStem))
    (initialPart ?S BirchTree))		 Economy.kif 5431-5436
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W CedarWood)
        (subclass ?S PlantStem))
    (initialPart ?S CedarTree))		 Economy.kif 5536-5541
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W CherryWood)
        (subclass ?S PlantStem))
    (or
        (initialPart ?S BlackCherryTree)
        (initialPart ?S SweetCherryTree)))		 Economy.kif 5441-5448
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W FirWood)
        (subclass ?S PlantStem))
    (initialPart ?S FirTree))		 Economy.kif 5546-5551
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Hardwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S DeciduousTree) Likely))		 Economy.kif 5399-5406
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W LarchWood)
        (subclass ?S PlantStem))
    (initialPart ?S LarchTree))		 Economy.kif 5556-5561
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W MapleWood)
        (subclass ?S PlantStem))
    (initialPart ?S MapleTree))		 Economy.kif 5453-5458
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W OkoumeWood)
        (subclass ?S PlantStem))
    (initialPart ?S OkoumeTree))		 Economy.kif 5463-5468
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W PineWood)
        (subclass ?S PlantStem))
    (initialPart ?S PineTree))		 Economy.kif 5576-5581
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W PoplarWood)
        (subclass ?S PlantStem))
    (initialPart ?S PoplarTree))		 Economy.kif 5473-5478
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W RedOakWood)
        (subclass ?S PlantStem))
    (initialPart ?S RedOakTree))		 Economy.kif 5483-5488
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W SapeleWood)
        (subclass ?S PlantStem))
    (initialPart ?S SapeleTree))		 Economy.kif 5493-5498
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Softwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S Conifers) Likely))		 Economy.kif 5524-5531
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W SpruceWood)
        (subclass ?S PlantStem))
    (initialPart ?S SpruceTree))		 Economy.kif 5566-5571

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 24041-24041
(initialPart AnimalShell Animal) Mid-level-ontology.kif 11747-11747
(initialPart ArmBone Arm) Anatomy.kif 688-688
(initialPart AvocadoOil Avocado) Economy.kif 4698-4698
(initialPart BarleyGrain BarleyGrass) Economy.kif 4245-4245
(initialPart Bicep Arm) Mid-level-ontology.kif 11001-11001
(initialPart Bone Primate) Anatomy.kif 21-21
(initialPart BoneMarrow Bone) Medicine.kif 1209-1209
(initialPart CalfMuscle Leg) Mid-level-ontology.kif 11019-11019
(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 4695-4695
(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 12353-12353
(initialPart DigitAppendage Limb) Mid-level-ontology.kif 12723-12723
(initialPart DurumWheatFlour DurumWheatGrain) Food.kif 1517-1517
(initialPart EggYolk Egg) Food.kif 2547-2547
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 11891-11891
(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

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