No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2934-2950 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8171-8179 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 480-492 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23091-23106 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2207-2214 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17767-17776 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17718-17723 |
|
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 9469-9474 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11455-11478 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17782-17791 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3771-3812 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21973-21982 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4088-4092 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9552-9557 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9559-9569 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22185-22195 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20666-20673 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18862-18868 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1018-1027 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8992-8999 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8569-8576 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8617-8619 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8920-8926 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 285-299 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |