No TPTP formula. May not be expressible in strict first order. | Merge.kif 828-830 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 832-832 | 子類 Physical and Entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1669-1669 | 子類 Abstract and Entity |