No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1597-1597 |
biologicalAgentCarrier ChlamydiaPsittaci and Passaro |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1673-1673 |
biologicalAgentCarrier SaintLouisEncephalitisVirus and Passaro |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2033-2033 |
meatOfAnimal PoultryMeat and Passaro |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1977-1977 |
parasitic Louse and Passaro |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1988-1988 |
parasitic Tick and Passaro |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20282-20282 |
Owl e' uma sub-classe de Passaro |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30472-30472 |
Parrot e' uma sub-classe de Passaro |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20286-20286 |
Pigeon e' uma sub-classe de Passaro |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20251-20251 |
Poultry e' uma sub-classe de Passaro |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2049-2049 |
QuailBird e' uma sub-classe de Passaro |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20289-20289 |
Vulture e' uma sub-classe de Passaro |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 988-988 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1183-1183 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 665-665 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 196-196 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 199-199 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2349-2349 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 617-617 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 201-201 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 233-233 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 686-686 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 200-200 |
|