TreeView Knowledge Base Browser

appearance as argument number 1

(documentation WeekBeforeFn EnglishLanguage "A Function that returns the week immediately preceding the beginning of the given TimePosition.")	Mid-level-ontology.kif 14818-14819
(domain WeekBeforeFn 1 TimePosition)	Mid-level-ontology.kif 14816-14816	Die Zahl 1 Argument von WeekBeforeFn ist ein fall von TimePosition %n{nicht}
(instance WeekBeforeFn UnaryFunction)	Mid-level-ontology.kif 14815-14815	WeekBeforeFn ist ein fall von UnaryFunction %n{nicht}
(range WeekBeforeFn Week)	Mid-level-ontology.kif 14817-14817	bildbereich von WeekBeforeFn ist ein fall von Week {nicht}

appearance as argument number 2

(termFormat EnglishLanguage WeekBeforeFn "week before fn")

domainEnglishFormat.kif 65727-65727

antecedent

(=>
    (and
        (instance ?D2
            (DayFn ?N2
                (MonthFn ?M
                    (YearFn ?Y))))
        (temporalPart ?D1
            (WeekBeforeFn ?D2))
        (temporalPart ?D2
            (WeekAfterFn ?D1)))
    (exists (?N1)
        (and
            (instance ?D1
                (DayFn ?N1
                    (MonthFn ?M
                        (YearFn ?Y))))
            (equal ?N1
                (SubtractionFn ?N2 7)))))

Mid-level-ontology.kif 14837-14846

Wenn TimePosition ist ein fall von der tag PositiveInteger %n{nicht} und ** TimePosition ist ein teil von WeekBeforeFn ** TimePosition %n{nicht} und ** TimePosition ist ein teil von WeekAfterFn ** ** TimePosition %n{nicht},
dann es gibt ** PositiveInteger um ** ** TimePosition ist ein fall von der tag ** ** PositiveInteger %n{nicht} und ** ** PositiveInteger ist gleich (** PositiveInteger und 7) %n{nicht}

consequent

(=>
    (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

Wenn entity ist gleich WeekBeforeMenstruationFn ** entity %n{nicht},
dann ** ** entityKBC ist gleich die kategorie die SymbolicString beschreibt %n{nicht}

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

KB Term:			Term intersection

English Word: