| appearance as argument number 1 |
|
| (documentation date ChineseLanguage "这是一个 BinaryPredicate， 它以绝对日历时间，以一天为限， 为特定的 Object 或 Process 指定一个 TimePosition。") | chinese_format.kif 2747-2748 | |
| (documentation date EnglishLanguage "A BinaryPredicate that specifies a TimePosition in absolute calendar time, at the resolution of one day, for a particular Object or Process.") | Merge.kif 8450-8452 | |
| (domain date 1 Physical) | Merge.kif 8446-8446 | |
| (domain date 2 Day) | Merge.kif 8447-8447 | |
| (instance date BinaryPredicate) | Merge.kif 8444-8444 | |
| (instance date SingleValuedRelation) | Merge.kif 8445-8445 | |
| (subrelation date time) | Merge.kif 8448-8448 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage date "%1 的 date %n 是 %2") | chinese_format.kif 441-441 | |
| (format EnglishLanguage date "date of %1 is %n %2") | english_format.kif 447-447 | |
| (termFormat ChineseLanguage date "日期") | chinese_format.kif 442-442 | |
| (termFormat ChineseTraditionalLanguage date "日期") | domainEnglishFormat.kif 18596-18596 | |
| (termFormat EnglishLanguage date "date") | domainEnglishFormat.kif 18595-18595 |
| antecedent |
|
|
| (=> (and (equal (EditionFn ?TEXT ?INT1) ?EDITION1) (equal (EditionFn ?TEXT ?INT2) ?EDITION2) (greaterThan ?INT2 ?INT1) (instance ?PUB1 Publication) (instance ?PUB2 Publication) (instance ?CBO1 ?EDITION1) (instance ?CBO2 ?EDITION2) (patient ?PUB1 ?CBO1) (patient ?PUB2 ?CBO2) (date ?PUB1 ?DATE1) (date ?PUB2 ?DATE2)) (before (EndFn ?DATE1) (EndFn ?DATE2))) |
Merge.kif 15233-15250 | |
| (=> (and (subclass ?TEXT Periodical) (equal (SeriesVolumeFn ?TEXT ?INT1) ?VOLUME1) (equal (SeriesVolumeFn ?TEXT ?INT2) ?VOLUME2) (greaterThan ?INT2 ?INT1) (instance ?PUB1 Publication) (instance ?PUB2 Publication) (instance ?CBO1 ?VOLUME1) (instance ?CBO2 ?VOLUME2) (patient ?PUB1 ?CBO1) (patient ?PUB2 ?CBO2) (date ?PUB1 ?DATE1) (date ?PUB2 ?DATE2)) (before (EndFn ?DATE1) (EndFn ?DATE2))) |
Mid-level-ontology.kif 14088-14102 |
| consequent |
|
|
| (=> (birthdate ?P ?D) (exists (?B) (and (instance ?B Birth) (experiencer ?B ?P) (date ?B ?D)))) |
Mid-level-ontology.kif 23627-23633 | |
| (=> (deathdate ?P ?T) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (date ?D ?T)))) |
Mid-level-ontology.kif 23641-23647 |
|
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