No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30018-30048 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13515-13526 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3455-3484 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2032-2042 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26678-26681 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4025-4038 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 826-831 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29718-29727 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2019-2024 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1231-1239 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2630-2643 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2112-2121 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 940-949 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1572-1580 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6201-6209 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7527-7532 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15453-15462 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 2029-2034 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3377-3383 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 599-607 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6393-6404 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5267-5276 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2174-2184 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18420-18441 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9670-9675 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 281-292 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 337-352 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4732-4740 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3397-3425 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3539-3560 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1186-1201 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2583-2592 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6425-6434 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4532-4543 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2277-2286 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1694-1699 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 98-104 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4481-4492 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14788-14797 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6191-6199 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3490-3517 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8242-8256 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1980-1989 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18895-18900 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4467-4480 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 698-715 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21088-21100 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21035-21042 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4365-4372 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 989-996 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2202-2211 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15188-15209 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2280-2290 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16980-16985 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14605-14612 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1496-1518 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24194-24205 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8292-8301 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5235-5244 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 419-438 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 48-56 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2271-2278 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24235-24245 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2193-2203 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15015-15023 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1909-1915 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 299-306 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13546-13557 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 855-860 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 317-332 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18083-18091 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1478-1491 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21065-21079 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 64-76 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 51-62 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3600-3605 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1778-1792 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 160-167 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1928-1937 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2156-2165 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12036-12048 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5485-5493 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9560-9573 |
|