| appearance as argument number 1 |
|
| (documentation termLength EnglishLanguage "(termLength ?ORG ?ROLE ?LENGTH) means that in the Organization or GeopoliticalArea ?ORG, the term of office for the position ?ROLE is the TimeDuration ?LENGTH.") | Government.kif 1634-1636 | |
| (domain termLength 1 Agent) | Government.kif 1630-1630 | domain termLength, 1 and Agent |
| (domain termLength 2 SocialRole) | Government.kif 1631-1631 | domain termLength, 2 and SocialRole |
| (domain termLength 3 TimeDuration) | Government.kif 1632-1632 | domain termLength, 3 and TimeDuration |
| (instance termLength TernaryPredicate) | Government.kif 1629-1629 | instance termLength and TernaryPredicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage termLength "%1 %n 是 对于 %3 的 term 长度 %2 ") | domainEnglishFormat.kif 2447-2447 | |
| (format ChineseTraditionalLanguage termLength "%1 %n 是 對於 %3 的 term 長度 %2 ") | domainEnglishFormat.kif 2446-2446 | |
| (format EnglishLanguage termLength "%1 is %n term length %2 for %3") | domainEnglishFormat.kif 2445-2445 | |
| (termFormat ChineseLanguage termLength "期限长度") | domainEnglishFormat.kif 57462-57462 | |
| (termFormat ChineseTraditionalLanguage termLength "期限長度") | domainEnglishFormat.kif 57461-57461 | |
| (termFormat EnglishLanguage termLength "term length") | domainEnglishFormat.kif 57460-57460 |
|
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