No TPTP formula. May not be expressible in strict first order. |
naics.kif 8120-8130 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1935-1946 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3369-3379 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1902-1914 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1883-1888 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3485-3491 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2154-2166 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22948-22953 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2281-2292 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1872-1881 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2262-2273 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1923-1933 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2300-2307 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1772-1778 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14225-14234 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3582-3589 |
|