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
(domainSubclass typicallyContainsPart 2 Object)	Mid-level-ontology.kif 23720-23720
(instance typicallyContainsPart BinaryPredicate)	Mid-level-ontology.kif 23711-23711
(instance typicallyContainsPart SpatialRelation)	Mid-level-ontology.kif 23712-23712
(relatedInternalConcept typicallyContainsPart part)	Mid-level-ontology.kif 23713-23713
(relatedInternalConcept typicallyContainsPart typicalPart)	Cars.kif 347-347

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
(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 ?PART ?WHOLE) (exists (?X ?Y) (and (instance ?X ?WHOLE) (instance ?Y ?PART) (part ?Y ?X))))	Mid-level-ontology.kif 23722-23728

appearance as argument number 0

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

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: