stays |
appearance as argument number 1 |
(disjointRelation stays home) | Merge.kif 14393-14393 | stays et home sont disjoint |
(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 | Le nombre 1 argument de stays est une instance de humain |
(domain stays 2 TemporaryResidence) | Merge.kif 14395-14395 | Le nombre 2 argument de stays est une instance de TemporaryResidence |
(instance stays BinaryPredicate) | Merge.kif 14392-14392 | stays est une instance de pr�dicat binaire |
(subrelation stays inhabits) | Merge.kif 14391-14391 | stays est une sous-relation de inhabits |
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 |