| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1204-1204 |
biologicalAgentCarrier FrancisellaTularensis and rongeur |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1365-1365 |
biologicalAgentCarrier GiardiaLamblia and rongeur |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1925-1925 |
biologicalAgentCarrier JuninVirus and rongeur |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1660-1660 |
biologicalAgentCarrier LaCrosseVirus and rongeur |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1860-1860 |
biologicalAgentCarrier LassaVirus and rongeur |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1938-1938 |
biologicalAgentCarrier MachupoVirus and rongeur |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1404-1404 |
biologicalAgentCarrier Myxomatosis and rongeur |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 407-407 |
biologicalAgentCarrier YersiniaPestis and rongeur |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30627-30627 |
GuineaPig est une sous-classe de rongeur |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30639-30639 |
Hamster est une sous-classe de rongeur |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20405-20405 |
Mouse est une sous-classe de rongeur |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20413-20413 |
Rabbit est une sous-classe de rongeur |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20409-20409 |
Rat est une sous-classe de rongeur |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20423-20423 |
Squirrel est une sous-classe de rongeur |
| 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 |
