typicallyContainsPart |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25304-25307 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25308-25308 | 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 25309-25309 | 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 25300-25300 | typically contains part is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25301-25301 | typically contains part is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25302-25302 | 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 4852-4852 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4851-4851 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4850-4850 | |
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 59742-59742 | typically contains temporal part is internally related to typically contains part |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59741-59741 | typically contains temporal part is internally related to typically contains part |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59740-59740 | typically contains temporal part is internally related to typically contains part |
antecedent |
![]() |
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1991-1991 | A air conditioner typically has a part air conditioning compressor |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2035-2035 | A air conditioner typically has a part air conditioning condenser |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2059-2059 | 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 3691-3691 | 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 1566-1566 | 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 1639-1639 | 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 1722-1722 | A exhaust system typically has a part catalytic converter |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5032-5032 | 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 2124-2124 | A pump typically has a part engine cooling system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2770-2770 | A engine cooling system typically has a part engine water pump |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2611-2611 | A exhaust system typically has a part exhaust manifold |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2647-2647 | 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 1583-1583 | A gun typically has a part gun trigger |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3202-3202 | A automobile typically has a part ignition coil |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3265-3265 | A automobile ignition system typically has a part ignition control module |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2672-2672 | 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 |
![]() |
![]() |