Sail |
appearance as argument number 1 |
(documentation Sail EnglishLanguage "Sail refers to an Artifact made of some type of Fabric which by means of which wind is used to propel a sailing vessel") | Mid-level-ontology.kif 26331-26332 | |
(subclass Sail Artifact) | Mid-level-ontology.kif 26330-26330 |
appearance as argument number 2 |
(termFormat EnglishLanguage Sail "sail") | Mid-level-ontology.kif 26333-26333 |
antecedent |
(=> (instance ?SAIL Sail) (exists (?MAST) (and (material Fabric ?SAIL) (instance ?MAST Mast) (connected ?SAIL ?MAST)))) |
Mid-level-ontology.kif 26335-26341 |
consequent |
(=> (instance ?X WindSurfingBoard) (exists (?SAIL) (and (instance ?SAIL Sail) (part ?SAIL ?X)))) |
Sports.kif 1285-1290 |