![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27168-27170 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27173-27173 | 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 27171-27171 |
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 27186-27186 | 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 27175-27178 |
|
![]() |
![]() |