No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2530-2530 | ChildrenPolicy e' uma sub-classe de Policy |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2621-2621 | NoChildrenPolicy e' uma sub-classe de ChildrenPolicy |