No TPTP formula. May not be expressible in strict first order. | Economy.kif 4907-4907 | Water buffalo is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4908-4908 | Water buffalo is a subclass of livestock |