birthdate |
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 24263-24264 | |
(domain birthdate 1 Human) | Mid-level-ontology.kif 24266-24266 | |
(domain birthdate 2 Day) | Mid-level-ontology.kif 24267-24267 | |
(instance birthdate BinaryPredicate) | Mid-level-ontology.kif 24265-24265 |
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 11169-11169 | |
(termFormat ChineseTraditionalLanguage birthdate "出生日期") | domainEnglishFormat.kif 11168-11168 | |
(termFormat EnglishLanguage birthdate "birth date") | domainEnglishFormat.kif 11167-11167 | |
(termFormat EnglishLanguage birthdate "birthdate") | domainEnglishFormat.kif 11170-11170 |
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 24235-24245 | |
(=> (and (birthdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn -6)) (instance ?Y2 (YearFn 4))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2)))) |
Media.kif 1936-1941 | |
(=> (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 23915-23931 | |
(=> (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 69-85 | |
(=> (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 99-115 | |
(=> (birthdate ?P ?D) (exists (?B) (and (instance ?B Birth) (experiencer ?B ?P) (date ?B ?D)))) |
Mid-level-ontology.kif 24269-24275 |
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 250-264 |