No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11289-11295 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1857-1869 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4371-4381 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12015-12021 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12008-12013 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23801-23814 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11163-11170 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 577-587 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11275-11282 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2187-2197 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2175-2185 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1260-1268 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12032-12037 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12283-12289 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12058-12071 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12539-12547 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 684-690 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 56-64 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3685-3725 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24607-24625 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7945-7954 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20027-20035 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4183-4202 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4155-4169 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12044-12056 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |