Human |
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 |