Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| termLength |
| appearance as argument number 1 |
|
| (instance termLength TernaryPredicate) | Government.kif 1646-1646 | term length is an instance of ternary predicate |
| (domain termLength 1 AutonomousAgent) | Government.kif 1647-1647 | The number 1 argument of term length is an instance of agent |
| (domain termLength 2 SocialRole) | Government.kif 1648-1648 | The number 2 argument of term length is an instance of social role |
| (domain termLength 3 TimeDuration) | Government.kif 1649-1649 | The number 3 argument of term length is an instance of time duration |
| (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 1651-1653 | The number 3 argument of term length is an instance of time duration |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage termLength "%1 is %n term length %2 for %3") | domainEnglishFormat.kif 2453-2453 | |
| (format ChineseTraditionalLanguage termLength "%1 %n 是 對於 %3 的 term 長度 %2 ") | domainEnglishFormat.kif 2454-2454 | |
| (format ChineseLanguage termLength "%1 %n 是 对于 %3 的 term 长度 %2 ") | domainEnglishFormat.kif 2455-2455 | |
| (termFormat EnglishLanguage termLength "term length") | domainEnglishFormat.kif 57557-57557 | |
| (termFormat ChineseTraditionalLanguage termLength "期限長度") | domainEnglishFormat.kif 57558-57558 | |
| (termFormat ChineseLanguage termLength "期限长度") | domainEnglishFormat.kif 57559-57559 |
|