eventLocated |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 191-200 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 225-238 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 171-184 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 285-296 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 654-660 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 666-671 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2537-2550 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 986-996 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 753-763 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2443-2457 |
|
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. | Weather.kif 2566-2580 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2590-2598 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1579-1592 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4958-4976 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1326-1331 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 293-306 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23506-23511 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2328-2338 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 802-808 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 543-549 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2191-2205 |
|
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. | Cars.kif 523-536 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 787-794 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |