typicalPart |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23625-23628 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23629-23629 | 典型的部分 的 1 数量 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23630-23630 | 典型的部分 的 2 数量 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23622-23622 | 典型的部分 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23623-23623 | 典型的部分 是 空间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23624-23624 | 典型的部分 和 部分 是 内部相关 |
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 | typicalTemporalPart 和 典型的部分 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 347-347 | 通常包含部分 和 典型的部分 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23750-23750 | partTypes 是 典型的部分 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59756-59756 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59755-59755 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59754-59754 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23640-23657 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23632-23638 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 436-465 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2006-2006 | AirConditioningCompressor typically 是 AirConditioner 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2050-2050 | AirConditioningCondenser typically 是 AirConditioner 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2074-2074 | AirConditioningEvaporator typically 是 AirConditioner 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1211-1211 | Alternator typically 是 车辆 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 727-727 | AutoSuspensionSystem typically 是 汽车 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 840-840 | AutomobileShock typically 是 AutoSuspensionSystem 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 868-868 | AutomobileShock typically 是 汽车 的 part |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1070-1070 | 基础 typically 是 bjt晶体管 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10782-10782 | Bicep typically 是 臂 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1559-1559 | BrakeCaliper typically 是 BrakeSystem 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 675-675 | BrakeCaliper typically 是 车辆制动器 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 669-669 | BrakeDrum typically 是 DrumBrake 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1631-1631 | BrakeMasterCylinder typically 是 BrakeSystem 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 655-655 | BrakePad typically 是 DiscBrake 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 663-663 | BrakeRotor typically 是 DiscBrake 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 600-600 | BrakeShoe typically 是 DrumBrake 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1237-1237 | BrakeSystem typically 是 汽车 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10800-10800 | CalfMuscle typically 是 腿 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3709-3709 | CarAlarm typically 是 自供电公路车辆 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1714-1714 | CatalyticConverter typically 是 AutomobileExhaustSystem 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4970-4970 | ChevroletEngine typically 是 ChevroletAutomobile 的 part |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1075-1075 | 收集家 typically 是 bjt晶体管 的 part |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 247-247 | ComputerKeyboardKey typically 是 ComputerKeyboard_Generic 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 341-341 | Crankshaft typically 是 Crankcase 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 338-338 | Crankshaft typically 是 IntermittentCombustionEngine 的 part |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |