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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Netflix
Netflix

appearance as argument number 1
-------------------------


(documentation Netflix EnglishLanguage "Netflix, Inc. is an American over-the-top media service and original programming production company. It offers subscription-based video on demand from a library of films and television series, 40% of which is Netflix original programming produced in-house. Netflix has also played a prominent role in independent film distribution. As of July 2021, Netflix had 209 million subscribers, including 72 million in the United States and Canada. It is available worldwide except in mainland China (due to local restrictions), Syria, North Korea, and Crimea (due to US sanctions). Netflix is a member of the Motion Picture Association (MPA).[from Wikipedia]") Medicine.kif 4544-4554
(headquartersOfOrganization Netflix California) Medicine.kif 4555-4555 headquartersOfOrganization Netflix and California
(instance Netflix Corporation) Medicine.kif 4543-4543 Netflix est une instance de corporation

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Netflix "Netflix Corp.") Medicine.kif 4557-4557
(termFormat EnglishLanguage Netflix "Netflix") Medicine.kif 4556-4556

statement
-------------------------


(exists (?D ?M)
    (and
        (instance ?D Disseminating)
        (agent ?D Netflix)
        (patient ?D ?M)
        (instance ?M MotionPicture)))
Medicine.kif 4559-4564 Processus entit� processus est une instance de disseminer processus est un agent de Netflix entit� est un patient de processus entit� est une instance de motion picture
(exists (?FM)
    (and
        (instance ?FM FilmMaking)
        (agent ?FM Netflix)))
Medicine.kif 4566-4569 Processus processus est une instance de FilmMaking processus est un agent de Netflix


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners