| 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 21982-21983 | |
| (domain birthdate 1 Human) | Mid-level-ontology.kif 21985-21985 | The number 1 argument of birthdate is an instance of human |
| (domain birthdate 2 Day) | Mid-level-ontology.kif 21986-21986 | The number 2 argument of birthdate is an instance of day |
| (instance birthdate BinaryPredicate) | Mid-level-ontology.kif 21984-21984 | 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 11113-11113 | |
| (termFormat ChineseTraditionalLanguage birthdate "生日") | domainEnglishFormat.kif 11112-11112 | |
| (termFormat EnglishLanguage birthdate "birthdate") | domainEnglishFormat.kif 11111-11111 |
| 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 21987-21993 |
|
|
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