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