No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17352-17368 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11744-11755 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1589-1597 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 610-627 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16561-16575 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25947-25960 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6412-6423 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1883-1900 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1449-1466 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6595-6607 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11933-11937 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13610-13624 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6567-6577 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6553-6561 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3590-3601 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3885-3895 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 895-917 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 523-536 |
|
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. |
UXExperimentalTerms.kif 1841-1858 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11157-11172 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 274-291 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 949-964 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27125-27135 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27142-27154 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |