price |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7738-7739 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7735-7735 | Le nombre 1 argument de price est une instance de physique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7736-7736 | Le nombre 2 argument de price est une instance de mesure de devise |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7737-7737 | Le nombre 3 argument de price est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7734-7734 | price est une instance de pr�dicat ternaire |
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 | askPrice est une sous-relation de price |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1904-1904 | bidPrice est une sous-relation de 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 |