HemisphereFigure - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HemisphereFigure EnglishLanguage "HemisphereFigure describes a figure that is half of a Sphere")	Mid-level-ontology.kif 28441-28442
(subclass HemisphereFigure ThreeDimensionalFigure)	Mid-level-ontology.kif 28440-28440	HemisphereFigure is a subclass of ThreeDimensionalFigure

appearance as argument number 2

(termFormat EnglishLanguage HemisphereFigure "hemisphere")

Mid-level-ontology.kif 28443-28443

antecedent

(=>
    (and
        (attribute ?X ?HEMI)
        (instance ?HEMI HemisphereFigure))
    (exists (?Y)
        (and
            (instance ?Y Sphere)
            (half ?X ?Y))))

Mid-level-ontology.kif 28445-28452

consequent

(=>
    (instance ?X Dome)
    (exists (?HEMI)
        (and
            (attribute ?X ?HEMI)
            (instance ?HEMI HemisphereFigure))))

Mid-level-ontology.kif 28459-28464