ShipCabin |
appearance as argument number 1 |
(documentation ShipCabin EnglishLanguage "ShipCabin is the subclass of all ShipCompartments for accommodating Humans aboard a ship.") | Transportation.kif 2571-2572 | |
(externalImage ShipCabin "http://upload.wikimedia.org/wikipedia/en/f/fd/ Constellationskysuite.jpg") | pictureList.kif 1981-1981 | |
(subclass ShipCabin ShipCompartment) | Transportation.kif 2570-2570 |
appearance as argument number 2 |
(termFormat ChineseLanguage ShipCabin "船舱") | domainEnglishFormat.kif 52635-52635 | |
(termFormat ChineseTraditionalLanguage ShipCabin "船艙") | domainEnglishFormat.kif 52634-52634 | |
(termFormat EnglishLanguage ShipCabin "ship cabin") | domainEnglishFormat.kif 52633-52633 |
antecedent |
(=> (instance ?COMPARTMENT ShipCabin) (exists (?SHIP) (and (instance ?COMPARTMENT ShipCabin) (properPart ?COMPARTMENT ?SHIP)))) |
Transportation.kif 2563-2568 |
consequent |
(=> (instance ?COMPARTMENT ShipCabin) (exists (?SHIP) (and (instance ?COMPARTMENT ShipCabin) (properPart ?COMPARTMENT ?SHIP)))) |
Transportation.kif 2563-2568 |