No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 198-200 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 204-204 |
域 priceRange, 2 and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 205-205 |
域 priceRange, 3 and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 206-206 |
域 priceRange, 4 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 203-203 |
域子類 priceRange, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 197-197 |
例 priceRange and QuaternaryPredicate |