No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1204-1204 |
biologicalAgentCarrier FrancisellaTularensis and Roedor |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1365-1365 |
biologicalAgentCarrier GiardiaLamblia and Roedor |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1925-1925 |
biologicalAgentCarrier JuninVirus and Roedor |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1660-1660 |
biologicalAgentCarrier LaCrosseVirus and Roedor |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1860-1860 |
biologicalAgentCarrier LassaVirus and Roedor |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1938-1938 |
biologicalAgentCarrier MachupoVirus and Roedor |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1404-1404 |
biologicalAgentCarrier Myxomatosis and Roedor |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 407-407 |
biologicalAgentCarrier YersiniaPestis and Roedor |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30603-30603 |
GuineaPig e' uma sub-classe de Roedor |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30615-30615 |
Hamster e' uma sub-classe de Roedor |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20378-20378 |
Mouse e' uma sub-classe de Roedor |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20386-20386 |
Rabbit e' uma sub-classe de Roedor |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20382-20382 |
Rat e' uma sub-classe de Roedor |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20396-20396 |
Squirrel e' uma sub-classe de Roedor |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 997-997 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1201-1201 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 674-674 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 205-205 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 208-208 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2358-2358 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 626-626 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 210-210 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 242-242 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 695-695 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |