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 8086-8094 |
|
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 21474-21489 |
|
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 16380-16389 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16331-16336 |
|
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 11305-11328 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16395-16404 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3710-3751 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20356-20365 |
|
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 9416-9421 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9423-9433 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20568-20578 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19095-19102 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17311-17317 |
|
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 8879-8886 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8456-8463 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8504-8506 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8807-8813 |
|
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 |