No TPTP formula. May not be expressible in strict first order. | engineering.kif 114-114 | Modeling is a subclass of intentional process |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 371-371 | Multipole modeling is a subclass of modeling |