| 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 21969-21970 | |
| (domain birthdate 1 Human) | Mid-level-ontology.kif 21972-21972 | domain birthdate, 1 and 人［人間］ |
| (domain birthdate 2 Day) | Mid-level-ontology.kif 21973-21973 | domain birthdate, 2 and 日 |
| (instance birthdate BinaryPredicate) | Mid-level-ontology.kif 21971-21971 | instance birthdate and 2進述語 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage birthdate "%2 is %n a birthdate of %1") | domainEnglishFormat.kif 86-86 | |
| (termFormat EnglishLanguage birthdate "birthdate") | domainEnglishFormat.kif 2285-2285 | 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 21974-21980 |
|
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