No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1597-1597 |
Bird is a biological agent carrier of chlamydia psittaci |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1673-1673 |
Bird is a biological agent carrier of saint louis encephalitis virus |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2033-2033 |
Poultry is the meat of bird |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1977-1977 |
parasitic lice and bird |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1988-1988 |
parasitic tick and bird |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20255-20255 |
Owl is a subclass of bird |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30448-30448 |
Parrot is a subclass of bird |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20259-20259 |
Pigeon is a subclass of bird |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20224-20224 |
Poultry is a subclass of bird |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2049-2049 |
Quail bird is a subclass of bird |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20262-20262 |
Vulture is a subclass of bird |
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 |
|