greaterThan |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1731-1732 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1792-1794 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1788-1788 | The number 1 argument of greater than is an instance of real number |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1789-1789 | The number 2 argument of greater than is an instance of real number |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1782-1782 | greater than is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1785-1785 | greater than is an instance of irreflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1786-1786 | greater than is an instance of relation extended to quantities |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1783-1783 | greater than is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1784-1784 | greater than is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1790-1790 | greater than is an inverse of less than |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1787-1787 | greater than is trichotomizing on real number |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4575-4575 | Southern ocean comparative area greater than for 2.0 with united states |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 111-111 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 111-111 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 112-112 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26523-26523 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26522-26522 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26521-26521 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |