Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   FindMyIPhone
|
|
|
| appearance as argument number 1 |
|
|
| (subclass FindMyIPhone ComputerProgram) | ComputingBrands.kif 4157-4157 | FMIP is a subclass of computer program |
| (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 4162-4164 | FMIP is a subclass of computer program |
| appearance as argument number 2 |
|
|
| (subclass AppleFindMy FindMyIPhone) | ComputingBrands.kif 4158-4158 | Find My is a subclass of FMIP |
| (termFormat EnglishLanguage FindMyIPhone "Find My IPhone") | ComputingBrands.kif 4166-4166 | Find My is a subclass of FMIP |
| (termFormat EnglishLanguage FindMyIPhone "FMIP") | ComputingBrands.kif 4167-4167 | Find My is a subclass of FMIP |
| 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 4169-4188 | If X is an instance of FMIP, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Z is an instance of iPhone (3) X is an instrument for W (4) Y is an agent of W (5) Z is a patient of W (6) Y doesn't know Z is not located at V holds during immediately before the time of existence of W (7) Y knows Z is located at V holds during immediately after the time of existence of W |
|