No TPTP formula. May not be expressible in strict first order. |
engineering.kif 272-275 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 278-278 |
域 physicalDomain, 1 and 物理尺寸 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 279-279 |
域 physicalDomain, 2 and 物理尺寸 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 280-280 |
域 physicalDomain, 3 and 物理域 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 276-276 |
例 physicalDomain and TernaryPredicate |