No TPTP formula. May not be expressible in strict first order. |
Government.kif 738-753 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 714-719 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 721-726 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1042-1055 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4482-4491 |
|
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 2397-2406 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29746-29753 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 767-785 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2784-2796 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4123-4135 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4079-4092 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4101-4114 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4143-4153 |
|
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 4566-4576 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30067-30075 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4498-4507 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10244-10259 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 436-453 |
|
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 939-952 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4451-4461 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25092-25113 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1328-1340 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |