| ShipCabin(ship cabin)
| | cabin, stateroom |
| appearance as argument number 1 |
|
|
| (documentation ShipCabin EnglishLanguage "ShipCabin is the subclass of all ShipCompartments for accommodating Humans aboard a ship.") | Transportation.kif 2777-2778 | |
| (externalImage ShipCabin "http://upload.wikimedia.org/wikipedia/en/f/fd/ Constellationskysuite.jpg") | pictureList.kif 1980-1980 | |
| (subclass ShipCabin ShipCompartment) | Transportation.kif 2776-2776 | Ship cabin is a subclass of ship compartment |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ShipCabin "船舱") | domainEnglishFormat.kif 52668-52668 | |
| (termFormat ChineseTraditionalLanguage ShipCabin "船艙") | domainEnglishFormat.kif 52667-52667 | |
| (termFormat EnglishLanguage ShipCabin "ship cabin") | domainEnglishFormat.kif 52666-52666 |
| antecedent |
|
|
| (=> (instance ?COMPARTMENT ShipCabin) (exists (?SHIP) (and (instance ?COMPARTMENT ShipCabin) (properPart ?COMPARTMENT ?SHIP)))) |
Transportation.kif 2769-2774 |
|
| consequent |
|
|
| (=> (instance ?COMPARTMENT ShipCabin) (exists (?SHIP) (and (instance ?COMPARTMENT ShipCabin) (properPart ?COMPARTMENT ?SHIP)))) |
Transportation.kif 2769-2774 |
|
|
|
|