Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mast
Mast(桅杆)

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 1474-1475
(externalImage Mast "http://upload.wikimedia.org/wikipedia/commons/f/f5/ Mast-rigging.png") pictureList.kif 4776-4776
(subclass Mast Artifact) Mid-level-ontology.kif 1473-1473 桅杆人工制品subclass

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


(termFormat ChineseLanguage Mast "桅杆") domainEnglishFormat.kif 36425-36425
(termFormat ChineseTraditionalLanguage Mast "桅杆") domainEnglishFormat.kif 36424-36424
(termFormat EnglishLanguage Mast "mast") domainEnglishFormat.kif 36423-36423

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


(=>
    (instance ?M Mast)
    (exists (?W)
        (and
            (instance ?W WaterVehicle)
            (part ?M ?W))))
Mid-level-ontology.kif 1477-1482

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


(=>
    (instance ?SAIL Sail)
    (exists (?MAST)
        (and
            (material Fabric ?SAIL)
            (instance ?MAST Mast)
            (connected ?SAIL ?MAST))))
Mid-level-ontology.kif 26279-26285


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