eventLocated |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1532-1547 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30030-30060 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26457-26475 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26973-26999 |
|
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 1769-1775 | |
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 12211-12220 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2709-2726 |
|
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 6004-6011 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6175-6182 | |
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 24256-24262 | |
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 24300-24306 | |
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 |