No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 947-952 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5155-5163 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 956-980 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16610-16621 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1065-1073 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1080-1088 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 877-879 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9348-9353 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 841-850 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 873-882 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2105-2110 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27951-27972 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28538-28547 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4439-4444 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 864-866 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6466-6468 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 881-883 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26481-26483 |
|