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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HemisphereFigure
HemisphereFigure(hemisphere)hemisphere

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


(documentation HemisphereFigure EnglishLanguage "HemisphereFigure describes a figure that is half of a Sphere") Mid-level-ontology.kif 28457-28458
(subclass HemisphereFigure ThreeDimensionalFigure) Mid-level-ontology.kif 28456-28456 Hemisphere is a subclass of three dimensional figure

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


(termFormat EnglishLanguage HemisphereFigure "hemisphere") Mid-level-ontology.kif 28459-28459

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


(=>
    (and
        (attribute ?X ?HEMI)
        (instance ?HEMI HemisphereFigure))
    (exists (?Y)
        (and
            (instance ?Y Sphere)
            (half ?X ?Y))))
Mid-level-ontology.kif 28461-28468

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


(=>
    (instance ?X Dome)
    (exists (?HEMI)
        (and
            (attribute ?X ?HEMI)
            (instance ?HEMI HemisphereFigure))))
Mid-level-ontology.kif 28475-28480


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