| 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 4251-4253 | |
| (subclass FindMyIPhone ComputerProgram) | ComputingBrands.kif 4246-4246 |
| appearance as argument number 2 |
|
|
| (subclass AppleFindMy FindMyIPhone) | ComputingBrands.kif 4247-4247 | |
| (termFormat EnglishLanguage FindMyIPhone "FMIP") | ComputingBrands.kif 4256-4256 | |
| (termFormat EnglishLanguage FindMyIPhone "Find My IPhone") | ComputingBrands.kif 4255-4255 |
| 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 4258-4277 |
|
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