| appearance as argument number 1 |
|
| (documentation deathdate EnglishLanguage "(deathdate ?PERSON ?DAY) means that ?DAY is the Day on which the ?PERSON died.") | Mid-level-ontology.kif 23744-23745 | |
| (domain deathdate 1 Human) | Mid-level-ontology.kif 23746-23746 | deathdate 的 1 数量 是 人类 的 instance |
| (domain deathdate 2 Day) | Mid-level-ontology.kif 23747-23747 | deathdate 的 2 数量 是 日 的 instance |
| (instance deathdate BinaryPredicate) | Mid-level-ontology.kif 23748-23748 | deathdate 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage deathdate "%2 %n 是 %1 的 deathdate ") | domainEnglishFormat.kif 680-680 | |
| (format ChineseTraditionalLanguage deathdate "%2 %n 是 %1 的 deathdate ") | domainEnglishFormat.kif 679-679 | |
| (format EnglishLanguage deathdate "%2 is %n a deathdate of %1") | domainEnglishFormat.kif 678-678 | |
| (termFormat ChineseLanguage deathdate "deathdate") | domainEnglishFormat.kif 18753-18753 | |
| (termFormat ChineseTraditionalLanguage deathdate "deathdate") | domainEnglishFormat.kif 18752-18752 | |
| (termFormat EnglishLanguage deathdate "deathdate") | domainEnglishFormat.kif 18751-18751 |
| antecedent |
|
|
| (=> (and (deathdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn 29)) (instance ?Y2 (YearFn 36))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2)))) |
Media.kif 1929-1934 | |
| (=> (deathdate ?P ?T) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (date ?D ?T)))) |
Mid-level-ontology.kif 23750-23756 |
|
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