BoatDeck
|
|
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 4244-4245 | |
(externalImage BoatDeck "http://upload.wikimedia.org/wikipedia/commons/2/ 2c/ Falls_of_Clyde_deck.jpg") | pictureList.kif 1983-1983 | |
(externalImage BoatDeck "http://upload.wikimedia.org/wikipedia/commons/9/ 9e/ Boat_Deck_2nd_Class_Promenade.gif") | pictureList.kif 4555-4555 | |
(externalImage BoatDeck "http://upload.wikimedia.org/wikipedia/en/2/22/QM2-wraparound-deck.jpg") | pictureList.kif 2357-2357 | |
(subclass BoatDeck Artifact) | Mid-level-ontology.kif 4243-4243 | BoatDeck è una sottoclasse di Manufatto |
appearance as argument number 2 |
(termFormat ChineseLanguage BoatDeck "船甲板") | domainEnglishFormat.kif 11459-11459 | |
(termFormat ChineseTraditionalLanguage BoatDeck "船甲板") | domainEnglishFormat.kif 11458-11458 | |
(termFormat EnglishLanguage BoatDeck "boat deck") | domainEnglishFormat.kif 11457-11457 |
antecedent |
(=> (instance ?D BoatDeck) (exists (?B) (and (instance ?B WaterVehicle) (part ?D ?B)))) |
Mid-level-ontology.kif 4247-4252 |