| 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 21970-21971 | |
| (domain birthdate 1 Human) | Mid-level-ontology.kif 21973-21973 | domain birthdate, 1 and Human |
| (domain birthdate 2 Day) | Mid-level-ontology.kif 21974-21974 | domain birthdate, 2 and Day |
| (instance birthdate BinaryPredicate) | Mid-level-ontology.kif 21972-21972 | instance birthdate and BinaryPredicate |
| 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 11113-11113 | termFormat ChineseLanguage, birthdate and "生日" |
| (termFormat ChineseTraditionalLanguage birthdate "生日") | domainEnglishFormat.kif 11112-11112 | termFormat ChineseTraditionalLanguage, birthdate and "生日" |
| (termFormat EnglishLanguage birthdate "birthdate") | domainEnglishFormat.kif 11111-11111 | termFormat EnglishLanguage, birthdate and "birthdate" |
| antecedent |
|
|
| (=> (and (birthdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn -6)) (instance ?Y2 (YearFn 4))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2)))) |
Media.kif 1938-1943 |
|
| (=> (birthdate ?P ?D) (exists (?B) (and (instance ?B Birth) (experiencer ?B ?P) (date ?B ?D)))) |
Mid-level-ontology.kif 21975-21981 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners