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 | O argumento numero 1 de price e' uma instancia de Fisico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7737-7737 | O argumento numero 2 de price e' uma instancia de Medida de Divisa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7738-7738 | O argumento numero 3 de price e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7735-7735 | price e' uma instancia de Predicado Ternario |
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 e' uma sub-relacao de price |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1904-1904 | bidPrice e' uma sub-relacao 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 |