Policy
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27180-27182 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27185-27185 | Policy is a subclass of proposition |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2530-2530 | Children policy is a subclass of policy |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2637-2637 | Housekeeping policy is a subclass of policy |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2507-2507 | Pet policy is a subclass of policy |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2484-2484 | Smoking policy is a subclass of policy |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27183-27183 |
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 2481-2481 | 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 27198-27198 | 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 613-613 | 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 2791-2791 | 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 27187-27190 |
|