| Policy(policy) | | policy |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25430-25431 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25434-25434 | Policy is a subclass of proposition |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2471-2471 | Children policy is a subclass of policy |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2578-2578 | Housekeeping policy is a subclass of policy |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2448-2448 | Pet policy is a subclass of policy |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2425-2425 | Smoking policy is a subclass of policy |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25432-25432 | "policy" is the printable form of policy in english language |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 226-226 | 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 2422-2422 | The number 1 argument of policyLocationCoverage is an instance of policy |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25450-25450 | 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 246-246 | 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 582-582 | 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 419-419 | 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 241-241 | 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 2727-2727 | 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 25440-25443 |
|
|
|
|