TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Noon TimePoint)	Merge.kif 9056-9056	Noon is a subclass of time point
(documentation Noon EnglishLanguage "The Class of all TimePoints that are at noon.")	Merge.kif 9057-9057	Noon is a subclass of time point

appearance as argument number 2

(termFormat EnglishLanguage Noon "noon")

consequent

(=>
    (instance ?A Afternoon)
    (exists (?N)
        (and
            (instance ?N Noon)
            (equal
                (BeginFn ?A) ?N))))

If X is an instance of afternoon, then there exists Y such that Y is an instance of noon, equal the beginning of X, and Y