No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29495-29507 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1850-1854 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 295-306 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 734-743 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2200-2216 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1312-1324 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21775-21794 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3496-3510 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 944-952 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12234-12239 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12949-12956 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4517-4532 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2362-2369 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16446-16458 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5724-5735 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3476-3486 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10687-10697 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 313-325 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2263-2269 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 872-880 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1184-1194 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13222-13228 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13147-13157 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 860-865 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 61-68 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |