friend - Sigma Knowledge base Browser

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 20830-20832
(domain friend 1 Human)	Mid-level-ontology.kif 20834-20834	domain friend, 1 and 人［人間］
(domain friend 2 Human)	Mid-level-ontology.kif 20835-20835	domain friend, 2 and 人［人間］
(instance friend BinaryPredicate)	Mid-level-ontology.kif 20826-20826	instance friend and 2進述語
(instance friend IntentionalRelation)	Mid-level-ontology.kif 20828-20828	instance friend and IntentionalRelation
(instance friend SymmetricRelation)	Mid-level-ontology.kif 20827-20827	instance friend and 対称関係
(subrelation friend mutualAcquaintance)	Mid-level-ontology.kif 20836-20836	subrelation friend and mutualAcquaintance

appearance as argument number 2

(format EnglishLanguage friend "%2 is %n a friend of %1")	domainEnglishFormat.kif 279-279
(termFormat EnglishLanguage friend "friend")	domainEnglishFormat.kif 4597-4597	termFormat EnglishLanguage, friend and "friend"

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