| Sail(sail) | | canvas, canvass, fore-and-aft_topsail, foresail, gaff-headed_sail, gaff_topsail, gaffsail, headsail, jib, lateen, lateen_sail, lug, lugsail, mainsail, mizen, mizzen, sail, save-all, sheet, skysail, spanker, spritsail, staysail, topgallant, topgallant_sail, topsail |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26343-26344 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26342-26342 | Sail is a subclass of artifact |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26345-26345 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26347-26353 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1284-1289 |
|
|
|
|