TreeView Knowledge Base Browser

appearance as argument number 1

(documentation birthdate EnglishLanguage "(birthdate ?PERSON ?DAY) means that ?DAY is the Day on which the ?PERSON was born.")	Mid-level-ontology.kif 25911-25912
(domain birthdate 1 Human)	Mid-level-ontology.kif 25914-25914	The number 1 argument of birthdate is an instance of human
(domain birthdate 2 Day)	Mid-level-ontology.kif 25915-25915	The number 2 argument of birthdate is an instance of day
(instance birthdate BinaryPredicate)	Mid-level-ontology.kif 25913-25913	birthdate is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage birthdate "%2 %n 是 %1 的 birthdate")	domainEnglishFormat.kif 308-308
(format ChineseTraditionalLanguage birthdate "%2 %n 是 %1 的 birthdate ")	domainEnglishFormat.kif 307-307
(format EnglishLanguage birthdate "%2 is %n a birthdate of %1")	domainEnglishFormat.kif 306-306
(termFormat ChineseLanguage birthdate "出生日期")	domainEnglishFormat.kif 11178-11178
(termFormat ChineseTraditionalLanguage birthdate "出生日期")	domainEnglishFormat.kif 11177-11177
(termFormat EnglishLanguage birthdate "birth date")	domainEnglishFormat.kif 11176-11176
(termFormat EnglishLanguage birthdate "birthdate")	domainEnglishFormat.kif 11179-11179

antecedent

(=> (and (birthdate ?A ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (birthday ?A ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 25883-25893	If a day is a birthdate of a human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist another kind of day and an integer such that the human's birthday is another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and equal the other kind of day and the day the positive integer of month the month a kind of month and the integer is greater than another integer
(=> (and (birthdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn -6)) (instance ?Y2 (YearFn 4))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2))))	Media.kif 1938-1943	If a day is a birthdate of Jesus of Nazareth and a time interval is an instance of the year -6 and another time interval is an instance of the year 4, then the day is a part of interval between the beginning of the time interval and the end of the other time interval
(=> (and (holdsDuring ?T (attribute ?F Menopausal)) (birthdate ?F ?B) (instance ?B (DayFn ?D (MonthFn ?M (YearFn ?Y)))) (equal ?A1 (AdditionFn 49 ?Y)) (equal ?A2 (AdditionFn 52 ?Y)) (equal ?START (BeginFn ?T))) (modalAttribute (and (greaterThan ?START ?A1) (greaterThan ?A2 ?START)) Likely))	Mid-level-ontology.kif 25562-25578	If menopause is an attribute of a human holds during a time interval and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month and equal a real number and (49 and an integer) and equal another real number and (52 and the integer) and equal a time point and the beginning of the time interval, then the statement the time point is greater than the real number and the other real number is greater than the time point has the modal force of likely
(=> (and (instance ?MIT BarMitzvah) (patient ?MIT ?X) (instance ?X Boy) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13)))))	Biography.kif 71-87	If a process is an instance of bar mitzvah and a human is a patient of the process and the human is an instance of boy and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist an integer and a time position such that the integer is an instance of integer and equal the integer and (another integer and 13) and the time position is an instance of the day the positive integer of month the month a kind of month and equal the time of existence of the process and immediately after the time position
(=> (and (instance ?MIT BatMitzvah) (patient ?MIT ?X) (instance ?X Girl) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13)))))	Biography.kif 102-118	If a process is an instance of bat mitzvah and a human is a patient of the process and the human is an instance of girl and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist an integer and a time position such that the integer is an instance of integer and equal the integer and (another integer and 13) and the time position is an instance of the day the positive integer of month the month a kind of month and equal the time of existence of the process and immediately after the time position
(=> (birthdate ?P ?D) (exists (?B) (and (instance ?B Birth) (experiencer ?B ?P) (date ?B ?D))))	Mid-level-ontology.kif 25917-25923	If a day is a birthdate of a human, then there exists a process such that the process is an instance of birth and the human experiences the process and date of the process is the day

consequent

(=>
    (and
        (instance ?TEXT BirthCertificate)
        (instance ?B Birth)
        (instance ?A Human)
        (experiencer ?B ?A))
    (containsFormula ?TEXT
        (exists (?DAY ?P ?N)
            (and
                (birthdate ?A ?DAY)
                (instance ?DAY Day)
                (birthplace ?A ?P)
                (instance ?P GeographicArea)
                (represents ?N ?A)
                (instance ?N Name)))))

Biography.kif 256-270

If a content bearing physical is an instance of birth certificate and a process is an instance of birth and an agent is an instance of human and the agent experiences the process,
then the content bearing physical contains the formula there exist an entity, another entity and a third entity such that the entity is a birthdate of the agent and the entity is an instance of day and the other entity is a birthplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name

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

KB Term:			Term intersection

English Word: