| appearance as argument number 1 |
|
| (documentation agreementExpirationDate EnglishLanguage "(agreementExpirationDate ?AGREEMENT ?ENDDATE) means that ?ENDDATE is the date on which ?AGREEMENT is no longer ActiveAgreement.") | Mid-level-ontology.kif 13517-13519 | |
| (domain agreementExpirationDate 1 Agreement) | Mid-level-ontology.kif 13515-13515 | The number 1 argument of expiration date is an instance of agreement |
| (domain agreementExpirationDate 2 TimePoint) | Mid-level-ontology.kif 13516-13516 | The number 2 argument of expiration date is an instance of time point |
| (instance agreementExpirationDate BinaryPredicate) | Mid-level-ontology.kif 13514-13514 | expiration date is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage agreementExpirationDate "%1 有 expiration %2 ") | domainEnglishFormat.kif 2731-2731 | |
| (format ChineseTraditionalLanguage agreementExpirationDate "%1 有 expiration %2 ") | domainEnglishFormat.kif 2730-2730 | |
| (format EnglishLanguage agreementExpirationDate "%1 has expiration %2") | domainEnglishFormat.kif 2729-2729 | |
| (termFormat ChineseLanguage agreementExpirationDate "截止日期") | domainEnglishFormat.kif 22815-22815 | |
| (termFormat ChineseTraditionalLanguage agreementExpirationDate "截止日期") | domainEnglishFormat.kif 22814-22814 | |
| (termFormat EnglishLanguage agreementExpirationDate "expiration date") | domainEnglishFormat.kif 22813-22813 |
| antecedent |
|
|
| (=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement)))) |
Mid-level-ontology.kif 13521-13524 |
|
|
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