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 and Object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23630-23630 | 域子類 典型的部分, 2 and Object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23622-23622 | 例 典型的部分 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23623-23623 | 例 典型的部分 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23624-23624 | 相關的內部概念 典型的部分 and 部分 |
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 and 典型的部分 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 347-347 | 相關的內部概念 通常包含部分 and 典型的部分 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23750-23750 | 子關係 partTypes and 典型的部分 |
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 |