TreeView Knowledge Base Browser

appearance as argument number 1

(instance partTypes BinaryPredicate)	Mid-level-ontology.kif 26070-26070	part types is an instance of binary predicate
(domainSubclass partTypes 1 Object)	Mid-level-ontology.kif 26071-26071	The number 1 argument of part types is a subclass of object
(domainSubclass partTypes 2 Object)	Mid-level-ontology.kif 26072-26072	The number 2 argument of part types is a subclass of object
(subrelation partTypes typicalPart)	Mid-level-ontology.kif 26073-26073	part types is a subrelation of typical part
(relatedInternalConcept partTypes part)	Mid-level-ontology.kif 26074-26074	part types is internally related to part
(documentation partTypes EnglishLanguage "(partTypes ?PART_TYPE ?WHOLE_TYPE) means that every instance of ?PART_TYPE is parts of an instance of ?WHOLE_TYPE.")	Mid-level-ontology.kif 26075-26076	part types is internally related to part

appearance as argument number 2

(format EnglishLanguage partTypes "every %1 is a part of a %2")	domainEnglishFormat.kif 4080-4080
(format ChineseTraditionalLanguage partTypes "每個 %1 是 %2 的 part ")	domainEnglishFormat.kif 4081-4081
(format ChineseLanguage partTypes "每个 %1 是 %2 的 part ")	domainEnglishFormat.kif 4082-4082
(termFormat EnglishLanguage partTypes "part types")	domainEnglishFormat.kif 65917-65917

antecedent

(=>
    (and
        (partTypes ?PARTTYPE ?WHOLETYPE)
        (instance ?PART ?PARTTYPE))
    (exists (?WHOLE)
        (and
            (instance ?WHOLE ?WHOLETYPE)
            (part ?PART ?WHOLE))))

Mid-level-ontology.kif 26078-26085

If every X is a part of a Y and Z is an instance of X, then there exists W such that W is an instance of Y and Z is a part of W

appearance as argument number 0

(partTypes GunMuzzle GunBarrel)	Mid-level-ontology.kif 1395-1395	Every gun muzzle is a part of a gun barrel
(partTypes GunBore GunBarrel)	Mid-level-ontology.kif 1424-1424	Every gun bore is a part of a gun barrel
(partTypes Gunstock Longgun)	Mid-level-ontology.kif 1445-1445	Every gun stock is a part of a long gun
(partTypes Buttstock Gunstock)	Mid-level-ontology.kif 1464-1464	Every butt stock is a part of a gun stock
(partTypes Forestock Gunstock)	Mid-level-ontology.kif 1497-1497	Every fore stock is a part of a gun stock
(partTypes GunCylinder RevolverGun)	Mid-level-ontology.kif 2150-2150	Every gun cylinder is a part of a revolver gun
(partTypes Medulla Brain)	Mid-level-ontology.kif 13353-13353	Every medulla is a part of a brain
(partTypes Pons Brain)	Mid-level-ontology.kif 13359-13359	Every pons is a part of a brain
(partTypes ParietalLobe Brain)	Mid-level-ontology.kif 13367-13367	Every parietal lobe is a part of a brain
(partTypes FrontalLobe Brain)	Mid-level-ontology.kif 13375-13375	Every frontal lobe is a part of a brain
(partTypes OccipitalLobes Brain)	Mid-level-ontology.kif 13382-13382	Every occipital lobes is a part of a brain
(partTypes TemporalLobes Brain)	Mid-level-ontology.kif 13389-13389	Every temporal lobes is a part of a brain
(partTypes Abdomen Torso)	Mid-level-ontology.kif 14437-14437	Every abdomen is a part of a torso
(partTypes Waist Abdomen)	Mid-level-ontology.kif 14443-14443	Every waist is a part of a abdomen
(partTypes MalleusBone AuditoryCanal)	Anatomy.kif 1638-1638	Every malleus bone is a part of a auditory canal
(partTypes IncusBone AuditoryCanal)	Anatomy.kif 1639-1639	Every incus bone is a part of a auditory canal
(partTypes StapesBone AuditoryCanal)	Anatomy.kif 1640-1640	Every stapes bone is a part of a auditory canal
(partTypes ComputerKeyboard ComputerKeyboardKey)	ComputerInput.kif 391-391	Every computer keyboard is a part of a computer keyboard key
(partTypes ComputerMouse MouseButton)	ComputerInput.kif 416-416	Every computer mouse is a part of a mouse button
(partTypes InternalComputerLoudspeaker ComputerHardware)	ComputerInput.kif 555-555	Every internal computer loudspeaker is a part of a computer hardware
(partTypes GameIODeviceWithAccelerometer Accelerometer)	ComputerInput.kif 655-655	Every game I/O device with accelerometer is a part of a accelerometer
(partTypes ScrollBarBar ScrollBar)	ComputerInput.kif 991-991	Every scroll bar bar is a part of a scroll bar
(partTypes ScrollBarArrowButton ScrollBar)	ComputerInput.kif 1002-1002	Every scroll bar arrow button is a part of a scroll bar
(partTypes ScrollBarRightArrowButton HorizontalScrollBar)	ComputerInput.kif 1011-1011	Every scroll bar right arrow button is a part of a horizontal scroll bar
(partTypes ScrollBarLeftArrowButton HorizontalScrollBar)	ComputerInput.kif 1018-1018	Every scroll bar left arrow button is a part of a horizontal scroll bar

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: