No TPTP formula. May not be expressible in strict first order. |
engineering.kif 59-60 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 63-63 |
The number 1 argument of models is an instance of model |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 64-64 |
The number 2 argument of models is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 62-62 |
models is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 61-61 |
models is an instance of binary predicate |