No TPTP formula. May not be expressible in strict first order. | People.kif 664-664 | Religious attribute is a subclass of relational attribute |
No TPTP formula. May not be expressible in strict first order. | People.kif 791-791 | Christian is a subclass of religious attribute |