No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1204-1204 |
Rodent is a biological agent carrier of francisella tularensis |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1365-1365 |
Rodent is a biological agent carrier of giardia lamblia |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1925-1925 |
Rodent is a biological agent carrier of junin virus |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1660-1660 |
Rodent is a biological agent carrier of la crosse virus |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1860-1860 |
Rodent is a biological agent carrier of lassa virus |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1938-1938 |
Rodent is a biological agent carrier of machupo virus |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1404-1404 |
Rodent is a biological agent carrier of myxomatosis |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 407-407 |
Rodent is a biological agent carrier of yersinia pestis |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30603-30603 |
Guinea pig is a subclass of rodent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30615-30615 |
Hamster is a subclass of rodent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20378-20378 |
Mouse is a subclass of rodent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20386-20386 |
Rabbit is a subclass of rodent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20382-20382 |
Rat is a subclass of rodent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20396-20396 |
Squirrel is a subclass of rodent |
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 |