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 23715-23718
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23719-23719	域子類通常包含部分, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23720-23720	域子類通常包含部分, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23711-23711	例通常包含部分 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23712-23712	例通常包含部分 and SpatialRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23713-23713	相關的內部概念通常包含部分 and 部分
No TPTP formula. May not be expressible in strict first order.	Cars.kif 347-347	相關的內部概念通常包含部分 and 典型的部分

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 and 通常包含部分
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59752-59752
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59751-59751
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59750-59750

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23730-23747	Object typically 有 part Object 例 Entity and Object 等於 ObjectPROB and 可能性 entity 例 entity and Object 部分 entity and Entity 等於 RealNumber and 可能性 entity 例 entity and Object 部分 entity and Entity 比較多 ObjectPROB and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23722-23728	Object typically 有 part Object Object Object 例 Object and Object 例 Object and Object 部分 Object and Object

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1990-1990	AirConditioner typically 有 part AirConditioningCompressor
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2034-2034	AirConditioner typically 有 part AirConditioningCondenser
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2058-2058	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 3615-3615	汽車 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 1565-1565	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 1638-1638	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 1721-1721	AutomobileExhaustSystem typically 有 part CatalyticConverter
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4956-4956	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 2123-2123	泵 typically 有 part EngineCoolingSystem
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2769-2769	EngineCoolingSystem typically 有 part EngineWaterPump
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2610-2610	AutomobileExhaustSystem typically 有 part ExhaustManifold
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2646-2646	FourStrokeEngine typically 有 part ExhaustValve
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1359-1359	槍 typically 有 part 槍扳機
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3126-3126	汽車 typically 有 part IgnitionCoil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3189-3189	AutomobileIgnitionSystem typically 有 part IgnitionControlModule
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2671-2671	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: