![]() |
![]() ![]() ![]()
|
![]() |
|
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 1467-1468 | |
(externalImage Mast "http://upload.wikimedia.org/wikipedia/commons/f/f5/ Mast-rigging.png") | pictureList.kif 4777-4777 | |
(subclass Mast Artifact) | Mid-level-ontology.kif 1466-1466 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Mast "桅杆") | domainEnglishFormat.kif 36402-36402 | |
(termFormat ChineseTraditionalLanguage Mast "桅杆") | domainEnglishFormat.kif 36401-36401 | |
(termFormat EnglishLanguage Mast "mast") | domainEnglishFormat.kif 36400-36400 |
antecedent |
![]() |
(=> (instance ?M Mast) (exists (?W) (and (instance ?W WaterVehicle) (part ?M ?W)))) |
Mid-level-ontology.kif 1470-1475 |
consequent |
![]() |
(=> (instance ?SAIL Sail) (exists (?MAST) (and (material Fabric ?SAIL) (instance ?MAST Mast) (connected ?SAIL ?MAST)))) |
Mid-level-ontology.kif 25826-25832 |
![]() |
![]() |