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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Netflix
Netflix(Netflix Corp.)

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 The headquarters of Netflix Corp. is in california
(instance Netflix Corporation) Medicine.kif 4543-4543 Netflix Corp. is an instance of corporation

appearance as argument number 2

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


(exists (?D ?M)
        (instance ?D Disseminating)
        (agent ?D Netflix)
        (patient ?D ?M)
        (instance ?M MotionPicture)))
Medicine.kif 4559-4564 There exist a process and an entity such that the process is an instance of disseminating and Netflix Corp. is an agent of the process and the entity is a patient of the process and the entity is an instance of motion picture
(exists (?FM)
        (instance ?FM FilmMaking)
        (agent ?FM Netflix)))
Medicine.kif 4566-4569 There exists a process such that the process is an instance of film making and Netflix Corp. is an agent of the process

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