Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Netflix(Netflix Corp.) |
| appearance as argument number 1 |
|
| (instance Netflix Corporation) | Medicine.kif 4564-4564 | Netflix Corp. is an instance of corporation |
| (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 4565-4575 | Netflix Corp. is an instance of corporation |
| (headquartersOfOrganization Netflix California) | Medicine.kif 4576-4576 | The headquarters of Netflix Corp. is in california |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Netflix "Netflix") | Medicine.kif 4577-4577 | |
| (termFormat EnglishLanguage Netflix "Netflix Corp.") | Medicine.kif 4578-4578 |
| statement |
|
|
| (exists (?D ?M) (and (instance ?D Disseminating) (agent ?D Netflix) (patient ?D ?M) (instance ?M MotionPicture))) |
Medicine.kif 4580-4585 | There exist X, Y such that X is an instance of disseminating, Netflix Corp. is an agent of X, Y is a patient of X, and Y is an instance of motion picture |
| (exists (?FM) (and (instance ?FM FilmMaking) (agent ?FM Netflix))) |
Medicine.kif 4587-4590 | There exists X such that X is an instance of film making and Netflix Corp. is an agent of X |
|