No TPTP formula. May not be expressible in strict first order. |
Music.kif 408-419 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4195-4204 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20601-20623 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1347-1358 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1923-1939 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1990-1999 |
|
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. |
Medicine.kif 6338-6346 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21757-21769 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2003-2012 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3416-3426 |
|
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. |
Cars.kif 1660-1668 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1741-1761 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5489-5498 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6056-6075 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 349-361 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 767-785 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6122-6140 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1513-1524 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1478-1488 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 450-463 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 420-431 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 618-630 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |