TreeView Knowledge Base Browser - typicallyContainsPart

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23662-23665
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23666-23666	通常包含部分的 1 数量是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23667-23667	通常包含部分的 2 数量是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23659-23659	通常包含部分是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23660-23660	通常包含部分是空间关系的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23661-23661	通常包含部分和部分是内部相关
No TPTP formula. May not be expressible in strict first order.	Cars.kif 347-347	通常包含部分和典型的部分是内部相关

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4846-4846
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4845-4845
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4844-4844
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1474-1474	typicallyContainsTemporalPart 和通常包含部分是内部相关
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59750-59750
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59749-59749
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59748-59748

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23677-23694	如果有点客体 typically 有 part 另一个有点客体和实体是有点客体的 instance 和另一个有点客体PROB equal 有存在另一个实体这样那个另外实体是那个另外有点客体的 instance 和那个另外实体是那个实体的 part 的机率和另一个实数 equal 不存在第三实体这样那个第三实体是那个另外有点客体的 instance 和那个第三实体是那个实体的 part 的机率，然后那个另外有点客体PROB 是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23669-23675	如果有点客体 typically 有 part 另一个有点客体，然后有存在第三客体和第四客体这样那个第三客体是有点客体的 instance 和那个第四客体是另一个有点客体的 instance 和那个第四客体是那个第三客体的 part

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2007-2007	AirConditioner typically 有 part AirConditioningCompressor
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2051-2051	AirConditioner typically 有 part AirConditioningCondenser
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2075-2075	AirConditioner typically 有 part AirConditioningEvaporator
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1212-1212	车辆 typically 有 part Alternator
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3630-3630	汽车 typically 有 part AutoAirbag
No TPTP formula. May not be expressible in strict first order.	Cars.kif 726-726	汽车 typically 有 part AutoSuspensionSystem
No TPTP formula. May not be expressible in strict first order.	Cars.kif 869-869	汽车 typically 有 part AutomobileShock
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1560-1560	BrakeSystem typically 有 part BrakeCaliper
No TPTP formula. May not be expressible in strict first order.	Cars.kif 670-670	DrumBrake typically 有 part BrakeDrum
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1632-1632	BrakeSystem typically 有 part BrakeMasterCylinder
No TPTP formula. May not be expressible in strict first order.	Cars.kif 664-664	DiscBrake typically 有 part BrakeRotor
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1236-1236	汽车 typically 有 part BrakeSystem
No TPTP formula. May not be expressible in strict first order.	Food.kif 635-635	咖啡 typically 有 part Caffeine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1715-1715	AutomobileExhaustSystem typically 有 part CatalyticConverter
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4971-4971	ChevroletAutomobile typically 有 part ChevroletEngine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 342-342	Crankcase typically 有 part Crankshaft
No TPTP formula. May not be expressible in strict first order.	Cars.kif 339-339	IntermittentCombustionEngine typically 有 part Crankshaft
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2140-2140	泵 typically 有 part EngineCoolingSystem
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2786-2786	EngineCoolingSystem typically 有 part EngineWaterPump
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2627-2627	AutomobileExhaustSystem typically 有 part ExhaustManifold
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2663-2663	FourStrokeEngine typically 有 part ExhaustValve
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1366-1366	枪 typically 有 part 枪扳机
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3141-3141	汽车 typically 有 part IgnitionCoil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3204-3204	AutomobileIgnitionSystem typically 有 part IgnitionControlModule
No TPTP formula. May not be expressible in strict first order.	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: