TreeView Knowledge Base Browser - WeekBeforeMenstruationFn

appearance as argument number 1

(documentation WeekBeforeMenstruationFn EnglishLanguage "The a Function that returns the Class of all Weeks immediately before the start of Menstruation for a particular Woman.")	Medicine.kif 1517-1519
(domain WeekBeforeMenstruationFn 1 Woman)	Medicine.kif 1515-1515	The number 1 argument of WeekBeforeMenstruationFn is an instance of woman
(instance WeekBeforeMenstruationFn UnaryFn)	Medicine.kif 1514-1514	WeekBeforeMenstruationFn is an instance of UnaryFn
(range WeekBeforeMenstruationFn Class)	Medicine.kif 1516-1516	The range of WeekBeforeMenstruationFn is an instance of class

antecedent

(=>
    (equal ?WKBMC
        (WeekBeforeMenstruationFn ?W))
    (equal ?WKBC
        (KappaFn ?C
            (and
                (instance ?C Week)
                (exists (?M)
                    (and
                        (instance ?M Menstruation)
                        (experiencer ?M ?W)
                        (equal ?C
                            (WeekBeforeFn
                                (WhenFn ?M)))))))))

Medicine.kif 1521-1534

If an entity is equal to WeekBeforeMenstruationFn another entity,
then the other entityKBC is equal to the class described by a symbolic string

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: