TreeView 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 22945-22947
(domain friend 1 Human)	Mid-level-ontology.kif 22949-22949	Die Zahl 1 Argument von friend ist ein fall von Human %n{nicht}
(domain friend 2 Human)	Mid-level-ontology.kif 22950-22950	Die Zahl 2 Argument von friend ist ein fall von Human %n{nicht}
(instance friend BinaryPredicate)	Mid-level-ontology.kif 22941-22941	friend ist ein fall von BinaryPredicate %n{nicht}
(instance friend IntentionalRelation)	Mid-level-ontology.kif 22943-22943	friend ist ein fall von IntentionalRelation %n{nicht}
(instance friend SymmetricRelation)	Mid-level-ontology.kif 22942-22942	friend ist ein fall von SymmetricRelation %n{nicht}
(subrelation friend mutualAcquaintance)	Mid-level-ontology.kif 22951-22951	friend ist eine teilrelation von 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