Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass Sail Artifact) | Mid-level-ontology.kif 28899-28899 | Sail is a subclass of artifact |
| (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 28900-28901 | Sail is a subclass of artifact |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Sail "sail") | Mid-level-ontology.kif 28902-28902 |
| antecedent |
|
|
| (=> (instance ?SAIL Sail) (exists (?MAST) (and (material Fabric ?SAIL) (instance ?MAST Mast) (connected ?SAIL ?MAST)))) |
Mid-level-ontology.kif 28904-28910 | If X is an instance of sail, then there exists Y such that X is made of fabric, Y is an instance of mast, and X is connected to Y |
| consequent |
|
|
| (=> (instance ?X WindSurfingBoard) (exists (?SAIL) (and (instance ?SAIL Sail) (part ?SAIL ?X)))) |
Sports.kif 1312-1317 | If X is an instance of wind surfing board, then there exists Y such that Y is an instance of sail and Y is a part of X |
|