No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 171-176 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 233-238 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 218-223 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3970-3985 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3911-3926 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3879-3894 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2883-2892 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2903-2914 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2864-2873 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30956-30971 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30898-30908 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30923-30938 |
|
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. |
naics.kif 7773-7782 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10386-10398 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10345-10357 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25968-25975 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1125-1138 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1162-1168 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3516-3518 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7932-7938 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11243-11245 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25402-25411 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11483-11485 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25911-25917 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |