No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29086-29086 | Policy is a subclass of proposition |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2495-2495 | Smoking policy is a subclass of policy |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2518-2518 | Pet policy is a subclass of policy |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2541-2541 | Children policy is a subclass of policy |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2648-2648 | Housekeeping policy is a subclass of policy |
![]() |