|
|
   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 and Proposition |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2530-2530 | 子類 ChildrenPolicy and Policy |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2637-2637 | 子類 HousekeepingPolicy and Policy |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2507-2507 | 子類 PetPolicy and Policy |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2484-2484 | 子類 SmokingPolicy and 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 | 域 allRoomsPolicy, 2 and Policy |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2481-2481 | 域 policyLocationCoverage, 1 and Policy |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27198-27198 | 域 policyOwner, 2 and Policy |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 257-257 | 域 pricePolicy, 2 and Policy |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 613-613 | 域 propertyPolicy, 2 and Policy |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 446-446 | 域 roomPolicy, 2 and Policy |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 246-246 | 域 someRoomsPolicy, 2 and Policy |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2791-2791 | 域子類 policyInclusion, 2 and Policy |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27187-27190 |
|
|
|