No TPTP formula. May not be expressible in strict first order. |
Government.kif 738-753 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6257-6275 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4482-4491 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18679-18695 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1252-1267 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6056-6075 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 767-785 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6122-6140 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 137-146 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 391-401 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4498-4507 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10222-10237 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4451-4461 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18621-18639 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5711-5718 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1393-1411 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1427-1445 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5779-5798 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7848-7862 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 853-875 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21147-21177 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 802-809 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4000-4010 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4022-4031 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1519-1529 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |