stays |
appearance as argument number 1 |
![]() |
(disjointRelation stays home) | Merge.kif 14546-14546 | stays et home sont disjoint |
(documentation stays ChineseLanguage "这是 Human 和e Human 的 TemporaryResidence 之间 的关系。") | chinese_format.kif 3377-3378 | stays et home sont disjoint |
(documentation stays EnglishLanguage "The relation between a Human and a TemporaryResidence of the Human.") | Merge.kif 14549-14550 | stays et home sont disjoint |
(domain stays 1 Human) | Merge.kif 14547-14547 | Le nombre 1 argument de stays est une instance de humain |
(domain stays 2 TemporaryResidence) | Merge.kif 14548-14548 | Le nombre 2 argument de stays est une instance de TemporaryResidence |
(instance stays BinaryPredicate) | Merge.kif 14545-14545 | stays est une instance de pr�dicat binaire |
(subrelation stays inhabits) | Merge.kif 14544-14544 | stays est une sous-relation de inhabits |
appearance as argument number 2 |
![]() |
(format ChineseLanguage stays "%1 stays 在 %2 ") | domainEnglishFormat.kif 4642-4642 | |
(format ChineseTraditionalLanguage stays "%1 stays 在 %2 ") | domainEnglishFormat.kif 4641-4641 | |
(format EnglishLanguage stays "%1 stays at %2") | domainEnglishFormat.kif 4640-4640 | |
(termFormat ChineseLanguage stays "停留") | domainEnglishFormat.kif 55210-55210 | |
(termFormat ChineseTraditionalLanguage stays "停留") | domainEnglishFormat.kif 55209-55209 | |
(termFormat EnglishLanguage stays "stays") | domainEnglishFormat.kif 55208-55208 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |