typicalPart |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23072-23075 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23076-23076 | 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 23077-23077 | 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 23069-23069 | typical part is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23070-23070 | typical part is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23071-23071 | 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 4859-4859 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4858-4858 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4857-4857 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1434-1434 | typicalTemporalPart 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 23214-23214 | partTypes is a subrelation of typical part |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59723-59723 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59722-59722 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59721-59721 |
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 1069-1069 | 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 10290-10290 | 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 BrakeCaliper is typically a part of a brake system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 675-675 | A BrakeCaliper is typically a part of a vehicle brake |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 669-669 | A BrakeDrum 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 BrakePad is typically a part of a disc brake |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 663-663 | A BrakeRotor 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 10308-10308 | A gastrocnemius is typically a part of a leg |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3713-3713 | A CarAlarm 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 4973-4973 | A ChevroletEngine is typically a part of a ChevroletAutomobile |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1074-1074 | 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 ComputerKeyboardKey is typically a part of a ComputerKeyboard_Generic |
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 IntermittentCombustionEngine |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |