publishedPrice |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 327-329 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 333-333 | 域 publishedPrice, 2 and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 334-334 | 域 publishedPrice, 3 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 335-335 | 域 publishedPrice, 4 and PricingScheme |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 332-332 | 域子類 publishedPrice, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 326-326 | 例 publishedPrice and QuaternaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4274-4274 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4273-4273 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4272-4272 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 330-330 |
antecedent |