No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29612-29624 |
|
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 314-325 |
|
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. |
UXExperimentalTerms.kif 1509-1521 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21856-21875 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3494-3508 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 916-924 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12103-12108 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12821-12828 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4515-4530 |
|
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 16317-16329 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5692-5703 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3474-3484 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10649-10659 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 393-405 |
|
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 844-852 |
|
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 13091-13097 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13019-13029 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 832-837 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 73-80 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1890-1900 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |