stays |
appearance as argument number 1 |
![]() |
(disjointRelation stays home) | Merge.kif 14546-14546 | stays と home は disjoint では |
(documentation stays ChineseLanguage "这是 Human 和e Human 的 TemporaryResidence 之间 的关系。") | chinese_format.kif 3377-3378 | stays と home は disjoint では |
(documentation stays EnglishLanguage "The relation between a Human and a TemporaryResidence of the Human.") | Merge.kif 14549-14550 | stays と home は disjoint では |
(domain stays 1 Human) | Merge.kif 14547-14547 | stays の数値 1 引数は 人[人間] の instance では |
(domain stays 2 TemporaryResidence) | Merge.kif 14548-14548 | stays の数値 2 引数は TemporaryResidence の instance では |
(instance stays BinaryPredicate) | Merge.kif 14545-14545 | stays は 2進述語 の instance では |
(subrelation stays inhabits) | Merge.kif 14544-14544 | stays は inhabits の subrelation では |
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 |
![]() |
![]() |
![]() |