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 22945-22947 | |
(domain friend 1 Human) | Mid-level-ontology.kif 22949-22949 | Le nombre 1 argument de friend est une instance de humain |
(domain friend 2 Human) | Mid-level-ontology.kif 22950-22950 | Le nombre 2 argument de friend est une instance de humain |
(instance friend BinaryPredicate) | Mid-level-ontology.kif 22941-22941 | friend est une instance de pr�dicat binaire |
(instance friend IntentionalRelation) | Mid-level-ontology.kif 22943-22943 | friend est une instance de IntentionalRelation |
(instance friend SymmetricRelation) | Mid-level-ontology.kif 22942-22942 | friend est une instance de relation sym�trique |
(subrelation friend mutualAcquaintance) | Mid-level-ontology.kif 22951-22951 | friend est une sous-relation de mutualAcquaintance |
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 25052-25052 | |
(termFormat ChineseTraditionalLanguage friend "朋友") | domainEnglishFormat.kif 25051-25051 | |
(termFormat EnglishLanguage friend "friend") | domainEnglishFormat.kif 25050-25050 |
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 1970-1978 | Interval temporel interval temporel est une instance de interval temporel interval temporel finit temps d'existence de JesusOfNazareth interval temporel commence temps d'existence de TwelveApostles entit� |