lessThan |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21952-21958 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 440-447 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 465-472 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 490-497 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2803-2816 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1533-1541 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1428-1443 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1285-1298 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3691-3711 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13349-13357 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13415-13423 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13382-13390 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 902-906 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5021-5032 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3735-3755 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5645-5652 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 323-330 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 252-257 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2509-2517 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1630-1642 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8625-8627 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5311-5313 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6162-6168 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8652-8654 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2642-2651 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |