No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2530-2530 | ChildrenPolicy est une sous-classe de Policy |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2621-2621 | NoChildrenPolicy est une sous-classe de ChildrenPolicy |