Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 20830-20832
(domain friend 1 Human) Mid-level-ontology.kif 20834-20834
(domain friend 2 Human) Mid-level-ontology.kif 20835-20835
(instance friend BinaryPredicate) Mid-level-ontology.kif 20826-20826
(instance friend IntentionalRelation) Mid-level-ontology.kif 20828-20828
(instance friend SymmetricRelation) Mid-level-ontology.kif 20827-20827
(subrelation friend mutualAcquaintance) Mid-level-ontology.kif 20836-20836

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


(exists (?TIME)
        (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

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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners