No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29507-29519 |
|
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 21776-21795 |
|
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 12212-12217 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12950-12957 |
|
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 16447-16459 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5725-5736 |
|
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 10665-10675 |
|
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 13200-13206 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13148-13158 |
|
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 |