FindMyIPhone - Sigma Knowledge base Browser

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	FMIP is a subclass of computer program

appearance as argument number 2

(subclass AppleFindMy FindMyIPhone)	ComputingBrands.kif 4252-4252	Find My is a subclass of FMIP
(termFormat EnglishLanguage FindMyIPhone "FMIP")	ComputingBrands.kif 4261-4261	Find My is a subclass of FMIP
(termFormat EnglishLanguage FindMyIPhone "Find My IPhone")	ComputingBrands.kif 4260-4260	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 4263-4282

If a physical is an instance of FMIP,
then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the other entity is an instance of iPhone and the physical is an instrument for the third entity and the entity is an agent of the third entity and the other entity is a patient of the third entity and the entity doesn't know the other entity is located at the fourth entity holds during immediately before the time of existence of the third entity and the entity knows the other entity is located at the fourth entity holds during immediately after the time of existence of the third entity

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

KB Term:			Term intersection

English Word: