Mast - Sigma Knowledge base Browser

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 1718-1719
(externalImage Mast "http://upload.wikimedia.org/wikipedia/commons/f/f5/ Mast_rigging.png")	pictureList.kif 4775-4775
(subclass Mast Artifact)	Mid-level-ontology.kif 1717-1717	Mast is a subclass of artifact

appearance as argument number 2

(termFormat ChineseLanguage Mast "桅杆")	domainEnglishFormat.kif 36445-36445
(termFormat ChineseTraditionalLanguage Mast "桅杆")	domainEnglishFormat.kif 36444-36444
(termFormat EnglishLanguage Mast "mast")	domainEnglishFormat.kif 36443-36443

antecedent

(=>
    (instance ?M Mast)
    (exists (?W)
        (and
            (instance ?W WaterVehicle)
            (part ?M ?W))))

Mid-level-ontology.kif 1721-1726

If an object is an instance of mast,
then there exists another object such that the other object is an instance of water vehicle and the object is a part of the other object

consequent

(=>
    (instance ?SAIL Sail)
    (exists (?MAST)
        (and
            (material Fabric ?SAIL)
            (instance ?MAST Mast)
            (connected ?SAIL ?MAST))))

Mid-level-ontology.kif 28005-28011

If a corpuscular object is an instance of sail,
then there exists an object such that the corpuscular object is made of fabric and the object is an instance of mast and the corpuscular object is connected to the object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: