typicalPart |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23576-23579 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23580-23580 | The number 1 argument of typical part is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23581-23581 | The number 2 argument of typical part is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23573-23573 | typical part is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23574-23574 | typical part is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23575-23575 | typical part is internally related to part |
appearance as argument number 2 |
![]() |
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. | domainEnglishFormat.kif 4849-4849 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4848-4848 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1434-1434 | typical temporal part is internally related to typical 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 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23701-23701 | part types is a subrelation of typical part |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59768-59768 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59767-59767 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59766-59766 |
antecedent |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2006-2006 | A air conditioning compressor is typically a part of a air conditioner |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2050-2050 | A air conditioning condenser is typically a part of a air conditioner |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2074-2074 | A air conditioning evaporator is typically a part of a air conditioner |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1211-1211 | A alternator is typically a part of a vehicle |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 727-727 | A auto suspension system is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 840-840 | A shock is typically a part of a auto suspension system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 868-868 | A shock is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1072-1072 | A base is typically a part of a bjt transistor |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10754-10754 | A bicep is typically a part of a arm |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1559-1559 | A brake caliper is typically a part of a brake system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 675-675 | A brake caliper is typically a part of a vehicle brake |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 669-669 | A brake drum is typically a part of a drum brake |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1631-1631 | A master cylinder is typically a part of a brake system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 655-655 | A brake pad is typically a part of a disc brake |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 663-663 | A brake rotor is typically a part of a disc brake |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 600-600 | A brake shoe is typically a part of a drum brake |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1237-1237 | A brake system is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10772-10772 | A gastrocnemius is typically a part of a leg |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3709-3709 | A car alarm is typically a part of a self powered road vehicle |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1714-1714 | A catalytic converter is typically a part of a exhaust system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4970-4970 | A Chevrolet engine is typically a part of a Chevrolet automobile |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1077-1077 | A collector is typically a part of a bjt transistor |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 247-247 | A computer keyboard key is typically a part of a generic computer keyboard |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 341-341 | A crankshaft is typically a part of a crankcase |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 338-338 | A crankshaft is typically a part of a intermittent combustion engine |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |