No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10190-10201 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10177-10188 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12014-12024 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25526-25538 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 484-500 |
|
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 202-214 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1325-1336 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 790-811 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 289-308 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1619-1630 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1632-1644 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4301-4315 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3368-3378 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6184-6192 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 693-707 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4281-4289 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2721-2728 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 407-418 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 601-609 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 690-700 |
|
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 10155-10165 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2142-2154 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3896-3906 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3908-3924 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |