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 25943-25944
(subclass HemisphereFigure ThreeDimensionalFigure) Mid-level-ontology.kif 25942-25942 Hemisphere is a subclass of three dimensional figure

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


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

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


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

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


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


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