TreeView 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 26589-26590
(subclass HemisphereFigure ThreeDimensionalFigure)	Mid-level-ontology.kif 26588-26588

appearance as argument number 2

(termFormat EnglishLanguage HemisphereFigure "hemisphere")

Mid-level-ontology.kif 26591-26591

antecedent

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

Mid-level-ontology.kif 26593-26600

consequent

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

Mid-level-ontology.kif 26607-26612