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	WeekBeforeMenstruationFn の数値 1 引数は Woman の instance では %n
(instance WeekBeforeMenstruationFn UnaryFn)	Medicine.kif 1514-1514	WeekBeforeMenstruationFn は UnaryFn の instance では %n
(range WeekBeforeMenstruationFn Class)	Medicine.kif 1516-1516	WeekBeforeMenstruationFn の range はクラスのインスタンスでは %n

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

エンティティーは WeekBeforeMenstruationFn エンティティーと equal では %n
エンティティーKBC はエンティティー class と equal では %n

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

KB Term:			Term intersection

English Word: