No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 492-503 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11247-11262 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4197-4208 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4210-4220 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6537-6547 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7351-7365 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4621-4629 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 783-788 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16916-16923 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5997-6017 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 250-264 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 280-296 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 307-317 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1766-1776 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1748-1758 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4241-4267 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4175-4190 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3668-3704 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20426-20436 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1745-1756 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1758-1780 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1695-1706 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1708-1729 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3446-3450 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4467-4480 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |