roomAmenity
|
|
Sigma KEE - roomAmenity
appearance as argument number 1
|
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 274-275 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 278-278 |
The number 1 argument of room amenity is a subclass of hotel unit |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 279-279 |
The number 2 argument of room amenity is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 273-273 |
room amenity is an instance of binary predicate |
appearance as argument number 2
|
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4438-4438 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4437-4437 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4436-4436 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 334-334 |
free room amenity is a subrelation of room amenity |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 380-380 |
paid room amenity is a subrelation of room amenity |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 276-276 |
|
antecedent
|
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 281-292 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 317-332 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1494-1502 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1506-1519 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1727-1739 |
|
|