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 30980-30995 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30922-30932 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30947-30962 |
|
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 10413-10425 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10372-10384 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26001-26008 |
|
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 3509-3511 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7959-7965 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11270-11272 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25459-25468 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11510-11512 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25944-25950 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |