|
|
   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 6124-6126 | |
| 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 6122-6122 | PhysicalSystem est une sous-classe de physique |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 717-717 | AutoSuspensionSystem est une sous-classe de PhysicalSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 836-836 | Automobile est une sous-classe de PhysicalSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2588-2588 | AutomobileExhaustSystem est une sous-classe de PhysicalSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3180-3180 | AutomobileIgnitionSystem est une sous-classe de PhysicalSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1230-1230 | BrakeSystem est une sous-classe de PhysicalSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2118-2118 | EngineCoolingSystem est une sous-classe de PhysicalSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1603-1603 | HydraulicCylinder est une sous-classe de PhysicalSystem |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2854-2854 | TransitSystem est une sous-classe de PhysicalSystem |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45740-45740 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45739-45739 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45738-45738 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 795-795 | Le nombre 1 argument de dampingRatio est une instance de PhysicalSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 828-828 | Le nombre 1 argument de resonantFrequency est une instance de PhysicalSystem |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6129-6129 | Le nombre 1 argument de subSystem est une instance de PhysicalSystem |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6130-6130 | Le nombre 2 argument de subSystem est une instance de PhysicalSystem |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6137-6137 | Le nombre 2 argument de systemPart est une instance de PhysicalSystem |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1381-1397 |
|
|
|
|
