Policy(policy) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29081-29083 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29086-29086 | Policy is a subclass of proposition |
appearance as argument number 2 |
![]() |
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 |
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 2495-2495 | Smoking policy is a subclass of policy |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29084-29084 | Smoking policy is a subclass of policy |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 231-231 | The number 2 argument of room policy in all rooms is an instance of policy |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2492-2492 | The number 1 argument of policy location coverage is an instance of policy |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29099-29099 | The number 2 argument of policy owner is an instance of policy |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 257-257 | The number 2 argument of rate policy is an instance of policy |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 617-617 | The number 2 argument of property policy is an instance of policy |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 446-446 | The number 2 argument of room policy is an instance of policy |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 246-246 | The number 2 argument of room policy in all rooms is an instance of policy |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2802-2802 | The number 2 argument of policy inclusion is a subclass of policy |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29088-29091 |
|
consequent |
![]() |
![]() |
![]() |