No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2917-2933 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8108-8116 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 487-499 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21473-21488 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2196-2203 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16379-16388 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16330-16335 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 45-56 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11327-11350 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16394-16403 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3718-3759 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20355-20364 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4070-4074 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9438-9443 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9445-9455 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20567-20577 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19094-19101 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17310-17316 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1025-1034 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8901-8908 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8478-8485 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8526-8528 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8829-8835 |
|
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 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |