|
|
   PhysicalSystem
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2385-2386 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6123-6125 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1065-1066 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6766-6766 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6121-6121 | 物理系统 是 物理 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 717-717 | AutoSuspensionSystem 是 物理系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 836-836 | 汽车 是 物理系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2605-2605 | AutomobileExhaustSystem 是 物理系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3195-3195 | AutomobileIgnitionSystem 是 物理系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1230-1230 | BrakeSystem 是 物理系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2135-2135 | EngineCoolingSystem 是 物理系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1598-1598 | HydraulicCylinder 是 物理系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2821-2821 | 运输系统 是 物理系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45738-45738 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45737-45737 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45736-45736 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 795-795 | dampingRatio 的 1 数量 是 物理系统 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 828-828 | resonantFrequency 的 1 数量 是 物理系统 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6128-6128 | 子系统 的 1 数量 是 物理系统 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6129-6129 | 子系统 的 2 数量 是 物理系统 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6136-6136 | 系统部分 的 2 数量 是 物理系统 的 instance |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1381-1397 |
|
|
|
|
