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 | The number 1 argument of price is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7737-7737 | The number 2 argument of price is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7738-7738 | The number 3 argument of price is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7735-7735 | price is an instance of ternary predicate |
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 | ask price is a subrelation of price |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1904-1904 | bid price is a subrelation of price |
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 |