| BoatDeck(boat deck)
| | deck, dime, dime_bag, lido_deck |
| appearance as argument number 1 |
|
|
| (documentation BoatDeck EnglishLanguage "One of the levels of a WaterVehicle, e.g. the upper deck and lower deck of small boats with a cabin.") | Mid-level-ontology.kif 4317-4318 | |
| (externalImage BoatDeck "http://upload.wikimedia.org/wikipedia/commons/2/ 2c/ Falls_of_Clyde_deck.jpg") | pictureList.kif 1982-1982 | |
| (externalImage BoatDeck "http://upload.wikimedia.org/wikipedia/commons/9/ 9e/ Boat_Deck_2nd_Class_Promenade.gif") | pictureList.kif 4554-4554 | |
| (externalImage BoatDeck "http://upload.wikimedia.org/wikipedia/en/2/22/QM2-wraparound_deck.jpg") | pictureList.kif 2356-2356 | |
| (subclass BoatDeck Artifact) | Mid-level-ontology.kif 4316-4316 | Boat deck is a subclass of artifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BoatDeck "船甲板") | domainEnglishFormat.kif 11474-11474 | |
| (termFormat ChineseTraditionalLanguage BoatDeck "船甲板") | domainEnglishFormat.kif 11473-11473 | |
| (termFormat EnglishLanguage BoatDeck "boat deck") | domainEnglishFormat.kif 11472-11472 |
| antecedent |
|
|
| (=> (instance ?D BoatDeck) (exists (?B) (and (instance ?B WaterVehicle) (part ?D ?B)))) |
Mid-level-ontology.kif 4320-4325 |
|
|
|
|