TreeView Knowledge Base Browser

appearance as argument number 1

(subclass BoatDeck Artifact)	Mid-level-ontology.kif 4896-4896	Boat deck is a subclass of artifact
(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 4897-4898	Boat deck is a subclass of artifact
(externalImage BoatDeck "http://upload.wikimedia.org/wikipedia/commons/2/ 2c/ Falls_of_Clyde_deck.jpg")	pictureList.kif 1982-1982	Boat deck is a subclass of artifact
(externalImage BoatDeck "http://upload.wikimedia.org/wikipedia/en/2/22/QM2-wraparound_deck.jpg")	pictureList.kif 2356-2356	Boat deck is a subclass of artifact
(externalImage BoatDeck "http://upload.wikimedia.org/wikipedia/commons/9/ 9e/ Boat_Deck_2nd_Class_Promenade.gif")	pictureList.kif 4554-4554	Boat deck is a subclass of artifact

appearance as argument number 2

(termFormat EnglishLanguage BoatDeck "boat deck")	domainEnglishFormat.kif 11465-11465
(termFormat ChineseTraditionalLanguage BoatDeck "船甲板")	domainEnglishFormat.kif 11466-11466
(termFormat ChineseLanguage BoatDeck "船甲板")	domainEnglishFormat.kif 11467-11467

antecedent

(=>
    (instance ?D BoatDeck)
    (exists (?B)
        (and
            (instance ?B WaterVehicle)
            (part ?D ?B))))

If X is an instance of boat deck, then there exists Y such that Y is an instance of water vehicle and X is a part of Y