TreeView Knowledge Base Browser - typicallyContainsPart

appearance as argument number 1

(documentation typicallyContainsPart EnglishLanguage "An instance of the second argument typically contains an instance of the first argument. This is a class-level relation roughly corresponding to part. Note that this does not imply that such parts typically have such wholes.")	Mid-level-ontology.kif 23715-23718
(domainSubclass typicallyContainsPart 1 Object)	Mid-level-ontology.kif 23719-23719	Le nombre 1 argument de typicallyContainsPart est une sous-classe de objet
(domainSubclass typicallyContainsPart 2 Object)	Mid-level-ontology.kif 23720-23720	Le nombre 2 argument de typicallyContainsPart est une sous-classe de objet
(instance typicallyContainsPart BinaryPredicate)	Mid-level-ontology.kif 23711-23711	typicallyContainsPart est une instance de pr�dicat binaire
(instance typicallyContainsPart SpatialRelation)	Mid-level-ontology.kif 23712-23712	typicallyContainsPart est une instance de relation spatial
(relatedInternalConcept typicallyContainsPart part)	Mid-level-ontology.kif 23713-23713	typicallyContainsPart est reli� � l'int�rieur de SUMO � part
(relatedInternalConcept typicallyContainsPart typicalPart)	Cars.kif 347-347	typicallyContainsPart est reli� � l'int�rieur de SUMO � typicalPart

appearance as argument number 2

(format ChineseLanguage typicallyContainsPart "%2 typically 有 part %1 ")	domainEnglishFormat.kif 4846-4846
(format ChineseTraditionalLanguage typicallyContainsPart "%2 typically 有 part %1 ")	domainEnglishFormat.kif 4845-4845
(format EnglishLanguage typicallyContainsPart "a %2 typically has a part %1")	domainEnglishFormat.kif 4844-4844
(relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart)	Cars.kif 1474-1474	typicallyContainsTemporalPart est reli� � l'int�rieur de SUMO � typicallyContainsPart
(termFormat ChineseLanguage typicallyContainsPart "通常包含部分")	domainEnglishFormat.kif 59752-59752
(termFormat ChineseTraditionalLanguage typicallyContainsPart "通常包含部分")	domainEnglishFormat.kif 59751-59751
(termFormat EnglishLanguage typicallyContainsPart "typically contains part")	domainEnglishFormat.kif 59750-59750

antecedent

(=> (and (typicallyContainsPart ?PART ?WHOLE) (instance ?Y ?WHOLE) (equal ?PARTPROB (ProbabilityFn (exists (?X1) (and (instance ?X1 ?PART) (part ?X1 ?Y))))) (equal ?NOTPARTPROB (ProbabilityFn (not (exists (?X2) (and (instance ?X2 ?PART) (part ?X2 ?Y))))))) (greaterThan ?PARTPROB ?NOTPARTPROB))	Mid-level-ontology.kif 23730-23747	typicallyContainsPart objet and objet entit� est une instance de objet objetPROB est probabilit� de entit� entit� est une instance de objet entit� est une partie de entit� nombre r�el est probabilit� de entit� entit� est une instance de objet entit� est une partie de entit� objetPROB est plus grand que nombre r�el
(=> (typicallyContainsPart ?PART ?WHOLE) (exists (?X ?Y) (and (instance ?X ?WHOLE) (instance ?Y ?PART) (part ?Y ?X))))	Mid-level-ontology.kif 23722-23728	typicallyContainsPart objet and objet objet objet objet est une instance de objet objet est une instance de objet objet est une partie de objet

appearance as argument number 0

(typicallyContainsPart AirConditioningCompressor AirConditioner)	Cars.kif 1990-1990	typicallyContainsPart AirConditioningCompressor and AirConditioner
(typicallyContainsPart AirConditioningCondenser AirConditioner)	Cars.kif 2034-2034	typicallyContainsPart AirConditioningCondenser and AirConditioner
(typicallyContainsPart AirConditioningEvaporator AirConditioner)	Cars.kif 2058-2058	typicallyContainsPart AirConditioningEvaporator and AirConditioner
(typicallyContainsPart Alternator Vehicle)	Cars.kif 1212-1212	typicallyContainsPart Alternator and Vehicle
(typicallyContainsPart AutoAirbag Automobile)	Cars.kif 3615-3615	typicallyContainsPart AutoAirbag and Automobile
(typicallyContainsPart AutoSuspensionSystem Automobile)	Cars.kif 726-726	typicallyContainsPart AutoSuspensionSystem and Automobile
(typicallyContainsPart AutomobileShock Automobile)	Cars.kif 869-869	typicallyContainsPart AutomobileShock and Automobile
(typicallyContainsPart BrakeCaliper BrakeSystem)	Cars.kif 1565-1565	typicallyContainsPart BrakeCaliper and BrakeSystem
(typicallyContainsPart BrakeDrum DrumBrake)	Cars.kif 670-670	typicallyContainsPart BrakeDrum and DrumBrake
(typicallyContainsPart BrakeMasterCylinder BrakeSystem)	Cars.kif 1638-1638	typicallyContainsPart BrakeMasterCylinder and BrakeSystem
(typicallyContainsPart BrakeRotor DiscBrake)	Cars.kif 664-664	typicallyContainsPart BrakeRotor and DiscBrake
(typicallyContainsPart BrakeSystem Automobile)	Cars.kif 1236-1236	typicallyContainsPart BrakeSystem and Automobile
(typicallyContainsPart Caffeine Coffee)	Food.kif 635-635	typicallyContainsPart Caffeine and Coffee
(typicallyContainsPart CatalyticConverter AutomobileExhaustSystem)	Cars.kif 1721-1721	typicallyContainsPart CatalyticConverter and AutomobileExhaustSystem
(typicallyContainsPart ChevroletEngine ChevroletAutomobile)	Cars.kif 4956-4956	typicallyContainsPart ChevroletEngine and ChevroletAutomobile
(typicallyContainsPart Crankshaft Crankcase)	Cars.kif 342-342	typicallyContainsPart Crankshaft and Crankcase
(typicallyContainsPart Crankshaft IntermittentCombustionEngine)	Cars.kif 339-339	typicallyContainsPart Crankshaft and IntermittentCombustionEngine
(typicallyContainsPart EngineCoolingSystem Pump)	Cars.kif 2123-2123	typicallyContainsPart EngineCoolingSystem and Pump
(typicallyContainsPart EngineWaterPump EngineCoolingSystem)	Cars.kif 2769-2769	typicallyContainsPart EngineWaterPump and EngineCoolingSystem
(typicallyContainsPart ExhaustManifold AutomobileExhaustSystem)	Cars.kif 2610-2610	typicallyContainsPart ExhaustManifold and AutomobileExhaustSystem
(typicallyContainsPart ExhaustValve FourStrokeEngine)	Cars.kif 2646-2646	typicallyContainsPart ExhaustValve and FourStrokeEngine
(typicallyContainsPart GunTrigger Gun)	Mid-level-ontology.kif 1359-1359	typicallyContainsPart GunTrigger and Gun
(typicallyContainsPart IgnitionCoil Automobile)	Cars.kif 3126-3126	typicallyContainsPart IgnitionCoil and Automobile
(typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem)	Cars.kif 3189-3189	typicallyContainsPart IgnitionControlModule and AutomobileIgnitionSystem
(typicallyContainsPart IntakeValve FourStrokeEngine)	Cars.kif 2671-2671	typicallyContainsPart IntakeValve and FourStrokeEngine

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: