TreeView Knowledge Base Browser

appearance as argument number 1

(instance friend BinaryPredicate)	Mid-level-ontology.kif 25259-25259	friend is an instance of binary predicate
(instance friend SymmetricRelation)	Mid-level-ontology.kif 25260-25260	friend is an instance of symmetric relation
(instance friend IntentionalRelation)	Mid-level-ontology.kif 25261-25261	friend is an instance of intentional relation
(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 25263-25265	friend is an instance of intentional relation
(domain friend 1 Human)	Mid-level-ontology.kif 25267-25267	The number 1 argument of friend is an instance of human
(domain friend 2 Human)	Mid-level-ontology.kif 25268-25268	The number 2 argument of friend is an instance of human
(subrelation friend mutualAcquaintance)	Mid-level-ontology.kif 25269-25269	friend is a subrelation of mutual acquaintance

appearance as argument number 2

(format EnglishLanguage friend "%2 is %n a friend of %1")	domainEnglishFormat.kif 1083-1083
(format ChineseTraditionalLanguage friend "%1 %n 是 %2 的 friend ")	domainEnglishFormat.kif 1084-1084
(format ChineseLanguage friend "%1 %n 是 %2 的 friend ")	domainEnglishFormat.kif 1085-1085
(termFormat EnglishLanguage friend "friend")	domainEnglishFormat.kif 25054-25054
(termFormat ChineseTraditionalLanguage friend "朋友")	domainEnglishFormat.kif 25055-25055
(termFormat ChineseLanguage friend "朋友")	domainEnglishFormat.kif 25056-25056

consequent

(=>
    (and
        (instance ?BEFRIENDING Befriending)
        (agent ?BEFRIENDING ?A)
        (patient ?BEFRIENDING ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?BEFRIENDING))
            (not
                (friend ?A ?P)))
        (holdsDuring
            (EndFn
                (WhenFn ?BEFRIENDING))
            (friend ?A ?P))))

Facebook.kif 410-419

If X is an instance of befriending, Y is an agent of X, and Z is a patient of X, then Z is not a friend of Y holds during the beginning of the time of existence of X and Z is a friend of Y holds during the end of the time of existence of X

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 1917-1925

There exists X such that X is an instance of timeframe, X finishes the time of existence of Jesus of Nazareth, X starts the time of existence of Twelve apostles, and Y Y is a member of Twelve apostles holds during X Jesus of Nazareth is a friend of Y holds during X

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: