| appearance as argument number 1 |
|
| (documentation agreementRevisionDate EnglishLanguage "(agreementRevisionDate ?AGR ?DATE ?CHANGE) means that the agreement ?AGR was revised at the time indicated by ?DATE, with respect to the part ?CHANGE. Revisions cover additions and removals.") | Government.kif 720-723 | |
| (domain agreementRevisionDate 1 Proposition) | Government.kif 716-716 | domain agreementRevisionDate, 1 and Proposition |
| (domain agreementRevisionDate 3 Proposition) | Government.kif 718-718 | domain agreementRevisionDate, 3 and Proposition |
| (domainSubclass agreementRevisionDate 2 TimePosition) | Government.kif 717-717 | domainSubclass agreementRevisionDate, 2 and TimePosition |
| (instance agreementRevisionDate TernaryPredicate) | Government.kif 715-715 | instance agreementRevisionDate and TernaryPredicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage agreementRevisionDate "%1 %n{不是} agreement 对于 %3 的修改日期 %2 ") | domainEnglishFormat.kif 100-100 | |
| (format ChineseTraditionalLanguage agreementRevisionDate "%1 %n{不是} agreement 對於 %3 的修改日期 %2 ") | domainEnglishFormat.kif 99-99 | |
| (format EnglishLanguage agreementRevisionDate "%1 %n{doesn't} agreement revision date %2 for %3 ") | domainEnglishFormat.kif 98-98 | |
| (termFormat ChineseLanguage agreementRevisionDate "协议修订日期") | domainEnglishFormat.kif 5935-5935 | |
| (termFormat ChineseTraditionalLanguage agreementRevisionDate "協議修訂日期") | domainEnglishFormat.kif 5934-5934 | |
| (termFormat EnglishLanguage agreementRevisionDate "agreement revision date") | domainEnglishFormat.kif 5933-5933 |
| antecedent |
|
|
| (=> (agreementRevisionDate ?AGR ?DATE ?CHANGE) (exists (?TIME) (and (instance ?TIME ?DATE) (or (and (holdsDuring (ImmediatePastFn ?TIME) (not (subProposition ?CHANGE ?AGR))) (holdsDuring (ImmediateFutureFn ?TIME) (subProposition ?CHANGE ?AGR))) (and (holdsDuring (ImmediatePastFn ?TIME) (subProposition ?CHANGE ?AGR)) (holdsDuring (ImmediateFutureFn ?TIME) (not (subProposition ?CHANGE ?AGR)))))))) |
Government.kif 725-740 |
|
|
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