eventLocated |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9018-9024 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8139-8144 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7325-7331 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1354-1362 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7054-7062 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1170-1176 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16992-16998 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 592-598 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1386-1391 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22394-22400 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22505-22513 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2471-2480 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7281-7291 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6302-6312 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1616-1621 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16631-16638 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 880-886 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15571-15577 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 979-992 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26861-26870 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1261-1273 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2519-2532 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2436-2441 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 676-682 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15358-15364 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |