destination |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 436-453 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18049-18053 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1717-1733 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1807-1811 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2501-2511 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2447-2454 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2468-2476 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2478-2486 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11582-11586 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7231-7240 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5561-5570 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1070-1090 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11673-11685 | |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 88-99 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3628-3644 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3593-3601 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11424-11431 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1332-1355 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1378-1382 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11744-11755 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11052-11057 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1385-1391 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1419-1425 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 437-441 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 610-627 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |