Mast |
appearance as argument number 1 |
(documentation Mast EnglishLanguage "A large pole in the center of a WaterVehicle which is used to support a sail.") | Mid-level-ontology.kif 1495-1496 | |
(externalImage Mast "http://upload.wikimedia.org/wikipedia/commons/f/f5/ Mast_rigging.png") | pictureList.kif 4775-4775 | |
(subclass Mast Artifact) | Mid-level-ontology.kif 1494-1494 |
appearance as argument number 2 |
(termFormat ChineseLanguage Mast "桅杆") | domainEnglishFormat.kif 36448-36448 | |
(termFormat ChineseTraditionalLanguage Mast "桅杆") | domainEnglishFormat.kif 36447-36447 | |
(termFormat EnglishLanguage Mast "mast") | domainEnglishFormat.kif 36446-36446 |
antecedent |
(=> (instance ?M Mast) (exists (?W) (and (instance ?W WaterVehicle) (part ?M ?W)))) |
Mid-level-ontology.kif 1498-1503 |
consequent |
(=> (instance ?SAIL Sail) (exists (?MAST) (and (material Fabric ?SAIL) (instance ?MAST Mast) (connected ?SAIL ?MAST)))) |
Mid-level-ontology.kif 26643-26649 |