No TPTP formula. May not be expressible in strict first order. |
Music.kif 410-421 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4532-4541 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22218-22240 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1358-1369 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1962-1978 |
|
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 1776-1787 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1789-1801 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6355-6363 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23399-23411 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2160-2169 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3859-3869 |
|
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 1667-1675 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1748-1768 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6426-6435 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6993-7012 |
|
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 758-776 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7059-7077 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1475-1486 |
|
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 443-456 |
|
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 |