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 22997-22999 | |
(domain friend 1 Human) | Mid-level-ontology.kif 23001-23001 | Il numero 1 argomenti di friend è un istanza di Umano |
(domain friend 2 Human) | Mid-level-ontology.kif 23002-23002 | Il numero 2 argomenti di friend è un istanza di Umano |
(instance friend BinaryPredicate) | Mid-level-ontology.kif 22993-22993 | friend è un' istanza di PredicatoBinario |
(instance friend IntentionalRelation) | Mid-level-ontology.kif 22995-22995 | friend è un' istanza di IntentionalRelation |
(instance friend SymmetricRelation) | Mid-level-ontology.kif 22994-22994 | friend è un' istanza di RelazioneSimmetrica |
(subrelation friend mutualAcquaintance) | Mid-level-ontology.kif 23003-23003 | friend è una sottorelazione di 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 | IntervalloTemporale IntervalloTemporale è un' istanza di IntervalloTemporale IntervalloTemporale finiscees il tempo di esistenza di JesusOfNazareth IntervalloTemporale inizias il tempo di esistenza di TwelveApostles Entit�
|