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 29758-29765 |
|
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 30079-30087 |
|
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 10222-10237 |
|
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 25093-25114 |
|
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 |