| 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 2768-2769 | |
| (externalImage ShipCabin "http://upload.wikimedia.org/wikipedia/en/f/fd/ Constellationskysuite.jpg") | pictureList.kif 1981-1981 | |
| (subclass ShipCabin ShipCompartment) | Transportation.kif 2767-2767 | Ship cabin is a subclass of ship compartment |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ShipCabin "船舱") | domainEnglishFormat.kif 52675-52675 | |
| (termFormat ChineseTraditionalLanguage ShipCabin "船艙") | domainEnglishFormat.kif 52674-52674 | |
| (termFormat EnglishLanguage ShipCabin "ship cabin") | domainEnglishFormat.kif 52673-52673 |
| antecedent |
|
|
| (=> (instance ?COMPARTMENT ShipCabin) (exists (?SHIP) (and (instance ?COMPARTMENT ShipCabin) (properPart ?COMPARTMENT ?SHIP)))) |
Transportation.kif 2760-2765 |
|
| consequent |
|
|
| (=> (instance ?COMPARTMENT ShipCabin) (exists (?SHIP) (and (instance ?COMPARTMENT ShipCabin) (properPart ?COMPARTMENT ?SHIP)))) |
Transportation.kif 2760-2765 |
|
|
|
|