No TPTP formula. May not be expressible in strict first order. |
Government.kif 701-716 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 677-682 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 684-689 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1035-1048 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4477-4486 |
|
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. |
FinancialOntology.kif 2414-2423 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16052-16059 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 758-776 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2785-2797 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4118-4130 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4074-4087 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4096-4109 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4138-4148 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 393-403 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4561-4571 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31973-31981 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4493-4502 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10347-10362 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 438-455 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 133-140 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1252-1265 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4446-4456 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26757-26778 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1320-1332 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |