greaterThanOrEqualTo |
No TPTP formula. May not be expressible in strict first order. | Government.kif 990-1001 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1882-1892 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2365-2384 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1497-1502 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4962-4968 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2993-3011 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3018-3036 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2851-2869 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 427-433 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1029-1033 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2096-2114 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3838-3852 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3815-3827 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 587-592 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 349-366 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 456-463 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 481-488 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13895-13899 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22679-22683 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 852-860 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 840-850 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2174-2187 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2925-2940 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2074-2078 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2130-2143 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |