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	The number 1 argument of typically contains part is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23720-23720	The number 2 argument of typically contains part is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23711-23711	typically contains part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23712-23712	typically contains part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23713-23713	typically contains part is internally related to part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 347-347	typically contains part is internally related to typical part

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	typically contains temporal part is internally related to typically contains part
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	If a a kind of object typically has a part another kind of object and an entity is an instance of a kind of object and another kind of objectPROB is equal to the probability of there exists another entity such that the other entity is an instance of the other kind of object and the other entity is a part of the entity and another real number is equal to the probability of there doesn't exist a third entity such that the third entity is an instance of the other kind of object and the third entity is a part of the entity, then the other kind of objectPROB is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23722-23728	If a a kind of object typically has a part another kind of object, then there exist a third object and a fourth object such that the third object is an instance of a kind of object and the fourth object is an instance of another kind of object and the fourth object is a part of the third object

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1990-1990	A air conditioner typically has a part air conditioning compressor
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2034-2034	A air conditioner typically has a part air conditioning condenser
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2058-2058	A air conditioner typically has a part air conditioning evaporator
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1212-1212	A vehicle typically has a part alternator
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3615-3615	A automobile typically has a part airbag
No TPTP formula. May not be expressible in strict first order.	Cars.kif 726-726	A automobile typically has a part auto suspension system
No TPTP formula. May not be expressible in strict first order.	Cars.kif 869-869	A automobile typically has a part shock
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1565-1565	A brake system typically has a part brake caliper
No TPTP formula. May not be expressible in strict first order.	Cars.kif 670-670	A drum brake typically has a part brake drum
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1638-1638	A brake system typically has a part master cylinder
No TPTP formula. May not be expressible in strict first order.	Cars.kif 664-664	A disc brake typically has a part brake rotor
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1236-1236	A automobile typically has a part brake system
No TPTP formula. May not be expressible in strict first order.	Food.kif 635-635	A coffee typically has a part caffeine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1721-1721	A exhaust system typically has a part catalytic converter
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4956-4956	A Chevrolet automobile typically has a part Chevrolet engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 342-342	A crankcase typically has a part crankshaft
No TPTP formula. May not be expressible in strict first order.	Cars.kif 339-339	A intermittent combustion engine typically has a part crankshaft
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2123-2123	A pump typically has a part engine cooling system
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2769-2769	A engine cooling system typically has a part engine water pump
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2610-2610	A exhaust system typically has a part exhaust manifold
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2646-2646	A four stroke engine typically has a part exhaust valve
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1359-1359	A gun typically has a part gun trigger
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3126-3126	A automobile typically has a part ignition coil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3189-3189	A automobile ignition system typically has a part ignition control module
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2671-2671	A four stroke engine typically has a part intake valve

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: