No TPTP formula. May not be expressible in strict first order. |
Government.kif 702-717 |
|
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 18706-18722 |
|
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 6050-6069 |
|
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 6116-6134 |
|
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 10258-10273 |
|
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 18648-18666 |
|
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 5773-5792 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7875-7889 |
|
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 21174-21204 |
|
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 4001-4011 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4023-4032 |
|
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 |