No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11539-11547 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23513-23526 |
|
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. |
UXExperimentalTerms.kif 3376-3408 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3428-3455 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3475-3507 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4105-4117 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10631-10643 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12178-12188 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6532-6543 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8715-8720 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 32-44 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12149-12156 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 526-540 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 121-129 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 45-56 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12163-12172 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12229-12237 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11763-11773 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17266-17274 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1981-1989 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16250-16259 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2388-2404 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3603-3617 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3617-3632 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |