|
|
   FindMyIPhone
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FindMyIPhone EnglishLanguage "Find My iPhone was an app and service provided by Apple Inc. that allowed remote location tracking of iOS devices, Mac computers, Apple Watch, and AirPods. It was replaced by the app Find My in iOS 13. [from Wikipedia]") | ComputingBrands.kif 4256-4258 | |
| (subclass FindMyIPhone ComputerProgram) | ComputingBrands.kif 4251-4251 | FindMyIPhone e' uma sub-classe de Programa de Computador |
| appearance as argument number 2 |
|
|
| (subclass AppleFindMy FindMyIPhone) | ComputingBrands.kif 4252-4252 | AppleFindMy e' uma sub-classe de FindMyIPhone |
| (termFormat EnglishLanguage FindMyIPhone "FMIP") | ComputingBrands.kif 4261-4261 | |
| (termFormat EnglishLanguage FindMyIPhone "Find My IPhone") | ComputingBrands.kif 4260-4260 |
| antecedent |
|
|
| (=> (instance ?FMIP FindMyIPhone) (hasPurpose ?FMIP (exists (?A ?IP ?P ?L) (and (instance ?IP AppleIPhone) (instrument ?P ?FMIP) (agent ?P ?A) (patient ?P ?IP) (holdsDuring (ImmediatePastFn (WhenFn ?P)) (not (knows ?A (located ?IP ?L)))) (holdsDuring (ImmediateFutureFn (WhenFn ?P)) (knows ?A (located ?IP ?L))))))) |
ComputingBrands.kif 4263-4282 |
|
|
|
|