eventLocated |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1528-1543 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30018-30048 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26445-26463 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26961-26987 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8184-8197 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8207-8225 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8139-8150 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8159-8175 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1765-1771 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4376-4386 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12210-12219 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2705-2722 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1831-1833 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6003-6010 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6174-6181 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11934-11946 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 192-198 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24255-24261 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 208-214 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24299-24305 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2463-2468 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4127-4132 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4102-4107 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4399-4410 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4319-4332 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |