No TPTP formula. May not be expressible in strict first order. |
Biography.kif 730-740 |
|
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. |
Economy.kif 2123-2130 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14705-14709 |
|
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. |
Economy.kif 5326-5333 |
|
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. |
Economy.kif 2594-2601 |
|
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. |
Merge.kif 244-250 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 221-227 |
|
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. |
Catalog.kif 372-387 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2213-2220 |
|
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. |
Economy.kif 1980-1989 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2288-2295 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 35-43 |
|
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. |
Economy.kif 2583-2592 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2167-2174 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 354-370 |
|
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. |
Medicine.kif 4025-4038 |
|
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. |
Hotel.kif 317-332 |
|
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. |
Mid-level-ontology.kif 18421-18442 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5258-5265 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1692-1698 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2906-2914 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8293-8302 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 364-378 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 351-357 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 324-330 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21066-21080 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1040-1047 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9561-9574 |
|
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. |
Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1991-1998 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31387-31394 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4532-4543 |
|