No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1207-1216 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15073-15085 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24632-24643 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15411-15420 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15427-15440 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26508-26520 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 705-715 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19237-19248 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19220-19231 |
|