| 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 23730-23731 | |
| (domain birthdate 1 Human) | Mid-level-ontology.kif 23733-23733 | 生日 的 1 数量 是 人类 的 instance |
| (domain birthdate 2 Day) | Mid-level-ontology.kif 23734-23734 | 生日 的 2 数量 是 日 的 instance |
| (instance birthdate BinaryPredicate) | Mid-level-ontology.kif 23732-23732 | 生日 是 二元谓语 的 instance |
| 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 11174-11174 | |
| (termFormat ChineseTraditionalLanguage birthdate "生日") | domainEnglishFormat.kif 11173-11173 | |
| (termFormat EnglishLanguage birthdate "birthdate") | domainEnglishFormat.kif 11172-11172 |
| antecedent |
|
|
| (=> (and (birthdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn -6)) (instance ?Y2 (YearFn 4))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2)))) |
Media.kif 1922-1927 | |
| (=> (and (holdsDuring ?T (attribute ?F Menopausal)) (birthdate ?F ?B) (equal ?A1 (AdditionFn (YearDuration 49) ?B)) (equal ?A2 (AdditionFn (YearDuration 52) ?B)) (equal ?START (BeginFn ?T))) (modalAttribute (and (greaterThan ?START ?A1) (greaterThan ?A2 ?START)) Likely)) |
Mid-level-ontology.kif 23464-23481 | |
| (=> (birthdate ?P ?D) (exists (?B) (and (instance ?B Birth) (experiencer ?B ?P) (date ?B ?D)))) |
Mid-level-ontology.kif 23736-23742 |
|
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 3.0 is open source software produced by Articulate Software and its partners