No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28919-28931 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1847-1851 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 338-349 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 702-711 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17782-17791 |
|
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 21258-21277 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3461-3475 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 909-917 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11988-11993 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12415-12422 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4480-4495 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2359-2366 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15891-15903 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5413-5424 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3442-3451 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10559-10569 |
|
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 2260-2266 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 837-845 |
|
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 12960-12966 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12613-12623 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 825-830 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 73-80 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |