| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14590-14590 | Ungulado e' uma sub-classe de Mamifero |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20074-20074 | Antelope e' uma sub-classe de Ungulado |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20078-20078 | Buffalo e' uma sub-classe de Ungulado |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20144-20144 | Horse e' uma sub-classe de Ungulado |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20148-20148 | Pig e' uma sub-classe de Ungulado |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20151-20151 | Donkey e' uma sub-classe de Ungulado |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20159-20159 | Mule e' uma sub-classe de Ungulado |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20178-20178 | Sheep e' uma sub-classe de Ungulado |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20192-20192 | Cattle e' uma sub-classe de Ungulado |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4905-4905 | Goat e' uma sub-classe de Ungulado |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4907-4907 | WaterBuffalo e' uma sub-classe de Ungulado |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4909-4909 | Reindeer e' uma sub-classe de Ungulado |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4911-4911 | Deer e' uma sub-classe de Ungulado |
|
|