price |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8906-8907 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8903-8903 | 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 8904-8904 | 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 8905-8905 | 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 8902-8902 | 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 2043-2043 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2042-2042 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2041-2041 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1941-1941 | ask price is a subrelation of price |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1921-1921 | bid price is a subrelation of price |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47284-47284 | bid price is a subrelation of price |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47283-47283 | bid price is a subrelation of price |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47282-47282 | bid price is a subrelation of price |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |