TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage HemisphereFigure "hemisphere")

antecedent

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

If X is an attribute of Y and X is an instance of hemisphere, then there exists Z such that Z is an instance of sphere and Y is half of Z

consequent

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

If X is an instance of dome, then there exists Y such that Y is an attribute of X and Y is an instance of hemisphere