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 3240-3250 |
|
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 3356-3362 |
|
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 3453-3460 |
|