No TPTP formula. May not be expressible in strict first order. | engineering.kif 114-114 | Modeling est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 371-371 | MultipoleModeling est une sous-classe de Modeling |