earlier |
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 |