Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FindMyIPhone

Sigma KEE - FindMyIPhone
FindMyIPhone(FMIP)

appearance as argument number 1
-------------------------


s__documentation(s__FindMyIPhone,s__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 4227-4229
s__subclass(s__FindMyIPhone,s__ComputerProgram)

s__instance(s__ComputerProgram,s__SetOrClass)

s__instance(s__FindMyIPhone,s__SetOrClass)

ComputingBrands.kif 4222-4222 FMIP is a subclass of computer program

appearance as argument number 2
-------------------------


s__instance(s__AppleFindMy,s__SetOrClass)

s__subclass(s__AppleFindMy,s__FindMyIPhone)

s__instance(s__FindMyIPhone,s__SetOrClass)

ComputingBrands.kif 4223-4223 Find My is a subclass of FMIP
s__termFormat(s__EnglishLanguage,s__FindMyIPhone,'"FMIP"')

ComputingBrands.kif 4232-4232
s__termFormat(s__EnglishLanguage,s__FindMyIPhone,'"Find My IPhone"')

ComputingBrands.kif 4231-4231

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4234-4253


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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