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 30944-30959 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30886-30896 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30911-30926 |
|
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 10385-10397 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10344-10356 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25956-25963 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1126-1139 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1163-1169 |
|
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 7931-7937 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11242-11244 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25401-25410 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11482-11484 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25899-25905 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |