Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Mast

 Sigma KEE - Mast
Mast(mast)
masthead

appearance as argument number 1
-------------------------


(subclass Mast Artifact) Mid-level-ontology.kif 1787-1787 Mast is a subclass of artifact
(documentation Mast EnglishLanguage "A large pole in the center of a WaterVehicle which is used to support a sail.") Mid-level-ontology.kif 1788-1789 Mast is a subclass of artifact
(externalImage Mast "http://upload.wikimedia.org/wikipedia/commons/f/f5/ Mast_rigging.png") pictureList.kif 4775-4775 Mast is a subclass of artifact

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Mast "mast") domainEnglishFormat.kif 36419-36419
(termFormat ChineseTraditionalLanguage Mast "桅杆") domainEnglishFormat.kif 36420-36420
(termFormat ChineseLanguage Mast "桅杆") domainEnglishFormat.kif 36421-36421

antecedent
-------------------------


(=>
    (instance ?M Mast)
    (exists (?W)
        (and
            (instance ?W WaterVehicle)
            (part ?M ?W))))		 Mid-level-ontology.kif 1791-1796 If X is an instance of mast, then there exists Y such that Y is an instance of water vehicle and X is a part of Y

consequent
-------------------------


(=>
    (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


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners