No TPTP formula. May not be expressible in strict first order. | engineering.kif 1310-1310 | IT process is a subclass of intentional process |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1324-1324 | Installation is a subclass of IT process |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1330-1330 | Un installation is a subclass of IT process |