Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - WeekBeforeMenstruationFn
WeekBeforeMenstruationFn

appearance as argument number 1
-------------------------


(instance WeekBeforeMenstruationFn UnaryFunction) Medicine.kif 1497-1497 Week before menstruation is an instance of unary function
(domain WeekBeforeMenstruationFn 1 Woman) Medicine.kif 1499-1499 The number 1 argument of week before menstruation is an instance of woman
(range WeekBeforeMenstruationFn Class) Medicine.kif 1500-1500 The range of week before menstruation is an instance of class
(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 1501-1503 The range of week before menstruation is an instance of class

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage WeekBeforeMenstruationFn "week before menstruation") Medicine.kif 1498-1498

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 1505-1518 If equal X and week before menstruation Y, then equal Z and the class described by W


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners