No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8315-8319 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8378-8380 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7998-8005 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8016-8023 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8076-8084 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1025-1036 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1906-1921 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2187-2194 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 703-716 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 229-237 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8132-8134 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29868-29888 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25787-25798 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 285-299 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 305-319 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12421-12441 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8110-8122 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29895-29915 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1785-1802 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1969-1987 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1827-1848 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2182-2196 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26053-26074 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 91-101 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 36-46 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |