PhysicalSystem(physical system)![]() | ![]() | system |
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 6133-6135 | |
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 6765-6765 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6131-6131 | Physical system is a subclass of physical |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 717-717 | Auto suspension system is a subclass of physical system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 836-836 | Automobile is a subclass of physical system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2589-2589 | Exhaust system is a subclass of physical system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3256-3256 | Automobile ignition system is a subclass of physical system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1230-1230 | Brake system is a subclass of physical system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2119-2119 | Engine cooling system is a subclass of physical system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1604-1604 | Hydraulic cylinder is a subclass of physical system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3419-3419 | Transit system is a subclass of physical system |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45740-45740 | Transit system is a subclass of physical system |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45739-45739 | Transit system is a subclass of physical system |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45738-45738 | Transit system is a subclass of physical system |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 795-795 | The number 1 argument of damping ratio is an instance of physical system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 828-828 | The number 1 argument of resonant frequency is an instance of physical system |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6138-6138 | The number 1 argument of sub system is an instance of physical system |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6139-6139 | The number 2 argument of sub system is an instance of physical system |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6146-6146 | The number 2 argument of system part is an instance of physical system |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1381-1397 |
|
![]() |
![]() |