| 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 | The number 1 argument of birthdate is an instance of human |
| (domain birthdate 2 Day) | Mid-level-ontology.kif 21973-21973 | The number 2 argument of birthdate is an instance of day |
| (instance birthdate BinaryPredicate) | Mid-level-ontology.kif 21971-21971 | birthdate is an instance of binary predicate |
| 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 | "birthdate" is the printable form of birthdate in english language |
| 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