before |
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 |