ImmediateFutureFn |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 104-111 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5711-5718 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10620-10629 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2835-2842 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1428-1443 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1334-1343 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 466-482 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 69-85 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 99-115 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1393-1411 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1427-1445 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21432-21443 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17638-17656 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17616-17634 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1091-1096 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 408-424 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5779-5798 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6779-6792 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1071-1081 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 853-875 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2689-2702 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 466-481 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 768-788 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 228-235 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2229-2239 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |