stays |
appearance as argument number 1 |
(disjointRelation stays home) | Merge.kif 14393-14393 | 不相交的關係 停留 and 家 |
(documentation stays ChineseLanguage "这是 Human 和e Human 的 TemporaryResidence 之间 的关系。") | chinese_format.kif 3377-3378 | |
(documentation stays EnglishLanguage "The relation between a Human and a TemporaryResidence of the Human.") | Merge.kif 14396-14397 | |
(domain stays 1 Human) | Merge.kif 14394-14394 | 域 停留, 1 and Human |
(domain stays 2 TemporaryResidence) | Merge.kif 14395-14395 | 域 停留, 2 and 暫住 |
(instance stays BinaryPredicate) | Merge.kif 14392-14392 | 例 停留 and BinaryPredicate |
(subrelation stays inhabits) | Merge.kif 14391-14391 | 子關係 停留 and 棲息 |
appearance as argument number 2 |
(format ChineseLanguage stays "%1 stays 在 %2 ") | domainEnglishFormat.kif 4638-4638 | |
(format ChineseTraditionalLanguage stays "%1 stays 在 %2 ") | domainEnglishFormat.kif 4637-4637 | |
(format EnglishLanguage stays "%1 stays at %2") | domainEnglishFormat.kif 4636-4636 | |
(termFormat ChineseLanguage stays "停留") | domainEnglishFormat.kif 55206-55206 | |
(termFormat ChineseTraditionalLanguage stays "停留") | domainEnglishFormat.kif 55205-55205 | |
(termFormat EnglishLanguage stays "stays") | domainEnglishFormat.kif 55204-55204 |
antecedent |
consequent |