No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18247-18257 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5918-5925 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6470-6482 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6447-6459 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1500-1512 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3231-3245 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 480-489 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2573-2589 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4257-4263 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 151-167 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 26-47 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23888-23902 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30650-30671 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 120-131 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 101-111 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 195-201 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16346-16351 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7561-7568 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1900-1904 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1888-1892 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1912-1916 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1906-1910 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1894-1898 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7971-7981 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3836-3843 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |