No TPTP formula. May not be expressible in strict first order. |
Government.kif 725-740 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 701-706 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 708-713 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1427-1440 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4402-4411 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1257-1268 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2319-2328 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27974-27981 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4043-4055 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3999-4012 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4021-4034 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4063-4073 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 391-401 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4486-4496 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28276-28284 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4418-4427 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9655-9670 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 428-436 |
|
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 938-951 |
|
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. |
Geography.kif 5402-5409 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2756-2763 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1369-1384 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1275-1284 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |