friend |
appearance as argument number 1 |
![]() |
(documentation friend EnglishLanguage "(holdsDuring ?T1 (friend ?H1 ?H2)) means that during time ?T1, ?H1 and ?H2 know each other, share a relationship of mutual care and concern, and probably also share some common interests.") | Mid-level-ontology.kif 24586-24588 | |
(domain friend 1 Human) | Mid-level-ontology.kif 24590-24590 | friend の数値 1 引数は 人[人間] の instance では |
(domain friend 2 Human) | Mid-level-ontology.kif 24591-24591 | friend の数値 2 引数は 人[人間] の instance では |
(instance friend BinaryPredicate) | Mid-level-ontology.kif 24582-24582 | friend は 2進述語 の instance では |
(instance friend IntentionalRelation) | Mid-level-ontology.kif 24584-24584 | friend は IntentionalRelation の instance では |
(instance friend SymmetricRelation) | Mid-level-ontology.kif 24583-24583 | friend は 対称関係 の instance では |
(subrelation friend mutualAcquaintance) | Mid-level-ontology.kif 24592-24592 | friend は mutualAcquaintance の subrelation では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage friend "%1 %n 是 %2 的 friend ") | domainEnglishFormat.kif 1085-1085 | |
(format ChineseTraditionalLanguage friend "%1 %n 是 %2 的 friend ") | domainEnglishFormat.kif 1084-1084 | |
(format EnglishLanguage friend "%2 is %n a friend of %1") | domainEnglishFormat.kif 1083-1083 | |
(termFormat ChineseLanguage friend "朋友") | domainEnglishFormat.kif 25063-25063 | |
(termFormat ChineseTraditionalLanguage friend "朋友") | domainEnglishFormat.kif 25062-25062 | |
(termFormat EnglishLanguage friend "friend") | domainEnglishFormat.kif 25061-25061 |
statement |
![]() |
(exists (?TIME) (and (instance ?TIME TimeInterval) (finishes ?TIME (WhenFn JesusOfNazareth)) (starts ?TIME (WhenFn TwelveApostles)) (forall (?MEM) (=> (holdsDuring ?TIME (member ?MEM TwelveApostles)) (holdsDuring ?TIME (friend ?MEM JesusOfNazareth)))))) |
Media.kif 1972-1980 | 時間間隔 時間間隔 は 時間間隔 の instance では 時間間隔 は JesusOfNazareth の time の existence を finishes 時間間隔 は TwelveApostles の time の existence を starts エンティティー
|
![]() |
![]() |