termLength |
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 1642-1644 | |
(domain termLength 1 AutonomousAgent) | Government.kif 1638-1638 | termLength の数値 1 引数は AutonomousAgent の instance では |
(domain termLength 2 SocialRole) | Government.kif 1639-1639 | termLength の数値 2 引数は 社会的役割 の instance では |
(domain termLength 3 TimeDuration) | Government.kif 1640-1640 | termLength の数値 3 引数は 時間分 の instance では |
(instance termLength TernaryPredicate) | Government.kif 1637-1637 | termLength は 3進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage termLength "%1 %n 是 对于 %3 的 term 长度 %2 ") | domainEnglishFormat.kif 2455-2455 | |
(format ChineseTraditionalLanguage termLength "%1 %n 是 對於 %3 的 term 長度 %2 ") | domainEnglishFormat.kif 2454-2454 | |
(format EnglishLanguage termLength "%1 is %n term length %2 for %3") | domainEnglishFormat.kif 2453-2453 | |
(termFormat ChineseLanguage termLength "期限长度") | domainEnglishFormat.kif 57566-57566 | |
(termFormat ChineseTraditionalLanguage termLength "期限長度") | domainEnglishFormat.kif 57565-57565 | |
(termFormat EnglishLanguage termLength "term length") | domainEnglishFormat.kif 57564-57564 |
![]() |
![]() |