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 23662-23665
(domainSubclass typicallyContainsPart 1 Object)	Mid-level-ontology.kif 23666-23666	通常包含部分的 1 数量是客体的 subclass
(domainSubclass typicallyContainsPart 2 Object)	Mid-level-ontology.kif 23667-23667	通常包含部分的 2 数量是客体的 subclass
(instance typicallyContainsPart BinaryPredicate)	Mid-level-ontology.kif 23659-23659	通常包含部分是二元谓语的 instance
(instance typicallyContainsPart SpatialRelation)	Mid-level-ontology.kif 23660-23660	通常包含部分是空间关系的 instance
(relatedInternalConcept typicallyContainsPart part)	Mid-level-ontology.kif 23661-23661	通常包含部分和部分是内部相关
(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	typicallyContainsTemporalPart 和通常包含部分是内部相关
(termFormat ChineseLanguage typicallyContainsPart "通常包含部分")	domainEnglishFormat.kif 59750-59750
(termFormat ChineseTraditionalLanguage typicallyContainsPart "通常包含部分")	domainEnglishFormat.kif 59749-59749
(termFormat EnglishLanguage typicallyContainsPart "typically contains part")	domainEnglishFormat.kif 59748-59748

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 23677-23694	如果有点客体 typically 有 part 另一个有点客体和实体是有点客体的 instance 和另一个有点客体PROB equal 有存在另一个实体这样那个另外实体是那个另外有点客体的 instance 和那个另外实体是那个实体的 part 的机率和另一个实数 equal 不存在第三实体这样那个第三实体是那个另外有点客体的 instance 和那个第三实体是那个实体的 part 的机率，然后那个另外有点客体PROB 是 greaterThan 那个另外实数
(=> (typicallyContainsPart ?PART ?WHOLE) (exists (?X ?Y) (and (instance ?X ?WHOLE) (instance ?Y ?PART) (part ?Y ?X))))	Mid-level-ontology.kif 23669-23675	如果有点客体 typically 有 part 另一个有点客体，然后有存在第三客体和第四客体这样那个第三客体是有点客体的 instance 和那个第四客体是另一个有点客体的 instance 和那个第四客体是那个第三客体的 part

appearance as argument number 0

(typicallyContainsPart AirConditioningCompressor AirConditioner)	Cars.kif 2007-2007	AirConditioner typically 有 part AirConditioningCompressor
(typicallyContainsPart AirConditioningCondenser AirConditioner)	Cars.kif 2051-2051	AirConditioner typically 有 part AirConditioningCondenser
(typicallyContainsPart AirConditioningEvaporator AirConditioner)	Cars.kif 2075-2075	AirConditioner typically 有 part AirConditioningEvaporator
(typicallyContainsPart Alternator Vehicle)	Cars.kif 1212-1212	车辆 typically 有 part Alternator
(typicallyContainsPart AutoAirbag Automobile)	Cars.kif 3630-3630	汽车 typically 有 part AutoAirbag
(typicallyContainsPart AutoSuspensionSystem Automobile)	Cars.kif 726-726	汽车 typically 有 part AutoSuspensionSystem
(typicallyContainsPart AutomobileShock Automobile)	Cars.kif 869-869	汽车 typically 有 part AutomobileShock
(typicallyContainsPart BrakeCaliper BrakeSystem)	Cars.kif 1560-1560	BrakeSystem typically 有 part BrakeCaliper
(typicallyContainsPart BrakeDrum DrumBrake)	Cars.kif 670-670	DrumBrake typically 有 part BrakeDrum
(typicallyContainsPart BrakeMasterCylinder BrakeSystem)	Cars.kif 1632-1632	BrakeSystem typically 有 part BrakeMasterCylinder
(typicallyContainsPart BrakeRotor DiscBrake)	Cars.kif 664-664	DiscBrake typically 有 part BrakeRotor
(typicallyContainsPart BrakeSystem Automobile)	Cars.kif 1236-1236	汽车 typically 有 part BrakeSystem
(typicallyContainsPart Caffeine Coffee)	Food.kif 635-635	咖啡 typically 有 part Caffeine
(typicallyContainsPart CatalyticConverter AutomobileExhaustSystem)	Cars.kif 1715-1715	AutomobileExhaustSystem typically 有 part CatalyticConverter
(typicallyContainsPart ChevroletEngine ChevroletAutomobile)	Cars.kif 4971-4971	ChevroletAutomobile typically 有 part ChevroletEngine
(typicallyContainsPart Crankshaft Crankcase)	Cars.kif 342-342	Crankcase typically 有 part Crankshaft
(typicallyContainsPart Crankshaft IntermittentCombustionEngine)	Cars.kif 339-339	IntermittentCombustionEngine typically 有 part Crankshaft
(typicallyContainsPart EngineCoolingSystem Pump)	Cars.kif 2140-2140	泵 typically 有 part EngineCoolingSystem
(typicallyContainsPart EngineWaterPump EngineCoolingSystem)	Cars.kif 2786-2786	EngineCoolingSystem typically 有 part EngineWaterPump
(typicallyContainsPart ExhaustManifold AutomobileExhaustSystem)	Cars.kif 2627-2627	AutomobileExhaustSystem typically 有 part ExhaustManifold
(typicallyContainsPart ExhaustValve FourStrokeEngine)	Cars.kif 2663-2663	FourStrokeEngine typically 有 part ExhaustValve
(typicallyContainsPart GunTrigger Gun)	Mid-level-ontology.kif 1366-1366	枪 typically 有 part 枪扳机
(typicallyContainsPart IgnitionCoil Automobile)	Cars.kif 3141-3141	汽车 typically 有 part IgnitionCoil
(typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem)	Cars.kif 3204-3204	AutomobileIgnitionSystem typically 有 part IgnitionControlModule
(typicallyContainsPart IntakeValve FourStrokeEngine)	Cars.kif 2688-2688	FourStrokeEngine typically 有 part IntakeValve

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: