Porter(porter) | bell_captain, bellboy, bellhop, bellman, night_porter, porter, redcap, skycap |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2379-2380 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2378-2378 | Porter is an instance of service position |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2381-2381 |
antecedent |