price |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7739-7740 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7736-7736 | 域 價錢, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7737-7737 | 域 價錢, 2 and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7738-7738 | 域 價錢, 3 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7735-7735 | 例 價錢 and TernaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2039-2039 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2038-2038 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2037-2037 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1924-1924 | 子關係 問價格 and 價錢 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1904-1904 | 子關係 競標價格 and 價錢 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47282-47282 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47281-47281 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47280-47280 |
antecedent |
consequent |