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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleIPhone
AppleIPhone(iPhone)

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


s__documentation(s__AppleIPhone,s__ChineseLanguage,'"由 AppleComputerCorporation 开发并且发售的 MobileCellPhone 。"')

ComputingBrands.kif 626-626
s__documentation(s__AppleIPhone,s__ChineseTraditionalLanguage,'"由 AppleComputerCorporation 開發並且販售的 MobileCellPhone 。"')

ComputingBrands.kif 625-625
s__documentation(s__AppleIPhone,s__EnglishLanguage,'"MobileCellPhone developed and sold by AppleComputerCorporation"')

ComputingBrands.kif 623-624
s__documentation(s__AppleIPhone,s__JapaneseLanguage,'"MobileCellPhoneAppleComputerCorporation によって開発そして販売されている。"')

ComputingBrands.kif 627-628
s__instance(s__AppleComputer,s__SetOrClass)

s__instance(s__AppleIPhone,s__SetOrClass)

s__subclass(s__AppleIPhone,s__AppleComputer)

ComputingBrands.kif 622-622 IPhone is a subclass of AppleComputer
s__instance(s__AppleIPhone,s__SetOrClass)

s__instance(s__MobileCellPhone,s__SetOrClass)

s__subclass(s__AppleIPhone,s__MobileCellPhone)

ComputingBrands.kif 621-621 IPhone is a subclass of mobile cell phone

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


s__canRunOn(s__AppleIOS,s__AppleIPhone)

ComputingBrands.kif 87-87 IPhone is capable of ComputerProcessing IOS
s__instance(s__AppleIPhone,s__SetOrClass)

s__instance(s__AppleIPhone1,s__SetOrClass)

s__subclass(s__AppleIPhone1,s__AppleIPhone)

ComputingBrands.kif 636-636 AppleIPhone1 is a subclass of iPhone
s__subclass(s__AppleIPhone11,s__AppleIPhone)

s__instance(s__AppleIPhone,s__SetOrClass)

s__instance(s__AppleIPhone11,s__SetOrClass)

ComputingBrands.kif 657-657 AppleIPhone11 is a subclass of iPhone
s__instance(s__AppleIPhone11ProMax,s__SetOrClass)

s__instance(s__AppleIPhone,s__SetOrClass)

s__subclass(s__AppleIPhone11ProMax,s__AppleIPhone)

ComputingBrands.kif 659-659 AppleIPhone11ProMax is a subclass of iPhone
s__subclass(s__AppleIPhone11pro,s__AppleIPhone)

s__instance(s__AppleIPhone,s__SetOrClass)

s__instance(s__AppleIPhone11pro,s__SetOrClass)

ComputingBrands.kif 658-658 AppleIPhone11pro is a subclass of iPhone
s__subclass(s__AppleIPhone3GS,s__AppleIPhone)

s__instance(s__AppleIPhone,s__SetOrClass)

s__instance(s__AppleIPhone3GS,s__SetOrClass)

ComputingBrands.kif 638-638 AppleIPhone3GS is a subclass of iPhone
s__subclass(s__AppleIPhone3g,s__AppleIPhone)

s__instance(s__AppleIPhone,s__SetOrClass)

s__instance(s__AppleIPhone3g,s__SetOrClass)

ComputingBrands.kif 637-637 AppleIPhone3g is a subclass of iPhone
s__instance(s__AppleIPhone,s__SetOrClass)

s__subclass(s__AppleIPhone4,s__AppleIPhone)

s__instance(s__AppleIPhone4,s__SetOrClass)

ComputingBrands.kif 639-639 AppleIPhone4 is a subclass of iPhone
s__subclass(s__AppleIPhone4s,s__AppleIPhone)

s__instance(s__AppleIPhone,s__SetOrClass)

s__instance(s__AppleIPhone4s,s__SetOrClass)

ComputingBrands.kif 640-640 AppleIPhone4s is a subclass of iPhone
s__instance(s__AppleIPhone,s__SetOrClass)

s__subclass(s__AppleIPhone5,s__AppleIPhone)

s__instance(s__AppleIPhone5,s__SetOrClass)

ComputingBrands.kif 641-641 AppleIPhone5 is a subclass of iPhone
s__instance(s__AppleIPhone5c,s__SetOrClass)

s__instance(s__AppleIPhone,s__SetOrClass)

s__subclass(s__AppleIPhone5c,s__AppleIPhone)

ComputingBrands.kif 642-642 AppleIPhone5c is a subclass of iPhone
s__subclass(s__AppleIPhone5s,s__AppleIPhone)

s__instance(s__AppleIPhone5s,s__SetOrClass)

s__instance(s__AppleIPhone,s__SetOrClass)

ComputingBrands.kif 643-643 AppleIPhone5s is a subclass of iPhone
s__subclass(s__AppleIPhone6,s__AppleIPhone)

s__instance(s__AppleIPhone,s__SetOrClass)

s__instance(s__AppleIPhone6,s__SetOrClass)

ComputingBrands.kif 644-644 AppleIPhone6 is a subclass of iPhone
s__instance(s__AppleIPhone,s__SetOrClass)

s__subclass(s__AppleIPhone6plus,s__AppleIPhone)

s__instance(s__AppleIPhone6plus,s__SetOrClass)

ComputingBrands.kif 645-645 AppleIPhone6plus is a subclass of iPhone
s__instance(s__AppleIPhone,s__SetOrClass)

s__subclass(s__AppleIPhone6s,s__AppleIPhone)

s__instance(s__AppleIPhone6s,s__SetOrClass)

ComputingBrands.kif 646-646 AppleIPhone6s is a subclass of iPhone
s__subclass(s__AppleIPhone6splus,s__AppleIPhone)

s__instance(s__AppleIPhone,s__SetOrClass)

s__instance(s__AppleIPhone6splus,s__SetOrClass)

ComputingBrands.kif 647-647 AppleIPhone6splus is a subclass of iPhone
s__subclass(s__AppleIPhone7,s__AppleIPhone)

s__instance(s__AppleIPhone,s__SetOrClass)

s__instance(s__AppleIPhone7,s__SetOrClass)

ComputingBrands.kif 649-649 AppleIPhone7 is a subclass of iPhone
s__instance(s__AppleIPhone,s__SetOrClass)

s__instance(s__AppleIPhone7plus,s__SetOrClass)

s__subclass(s__AppleIPhone7plus,s__AppleIPhone)

ComputingBrands.kif 650-650 AppleIPhone7plus is a subclass of iPhone
s__instance(s__AppleIPhone,s__SetOrClass)

s__instance(s__AppleIPhone8,s__SetOrClass)

s__subclass(s__AppleIPhone8,s__AppleIPhone)

ComputingBrands.kif 651-651 AppleIPhone8 is a subclass of iPhone
s__instance(s__AppleIPhone,s__SetOrClass)

s__subclass(s__AppleIPhone8plus,s__AppleIPhone)

s__instance(s__AppleIPhone8plus,s__SetOrClass)

ComputingBrands.kif 652-652 AppleIPhone8plus is a subclass of iPhone
s__instance(s__AppleIPhone,s__SetOrClass)

s__subclass(s__AppleIPhoneX,s__AppleIPhone)

s__instance(s__AppleIPhoneX,s__SetOrClass)

ComputingBrands.kif 653-653 AppleIPhoneX is a subclass of iPhone
s__subclass(s__AppleIPhoneXR,s__AppleIPhone)

s__instance(s__AppleIPhone,s__SetOrClass)

s__instance(s__AppleIPhoneXR,s__SetOrClass)

ComputingBrands.kif 656-656 AppleIPhoneXR is a subclass of iPhone
s__instance(s__AppleIPhone,s__SetOrClass)

s__subclass(s__AppleIPhoneXS,s__AppleIPhone)

s__instance(s__AppleIPhoneXS,s__SetOrClass)

ComputingBrands.kif 654-654 AppleIPhoneXS is a subclass of iPhone
s__instance(s__AppleIPhoneXSmax,s__SetOrClass)

s__instance(s__AppleIPhone,s__SetOrClass)

s__subclass(s__AppleIPhoneXSmax,s__AppleIPhone)

ComputingBrands.kif 655-655 AppleIPhoneXSmax is a subclass of iPhone
s__subclass(s__AppleIPhonese,s__AppleIPhone)

s__instance(s__AppleIPhone,s__SetOrClass)

s__instance(s__AppleIPhonese,s__SetOrClass)

ComputingBrands.kif 648-648 AppleIPhonese is a subclass of iPhone

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__B,V__I] :
   (((s__instance(V__B,s__BasebandForIPhone) &
         s__instance(V__I,s__AppleIPhone))
       =>
       (s__runsOn(V__B,V__I)))
   )
)

ComputingBrands.kif 2209-2213
( ! [V__I] :
   ((s__subclass(V__I,s__Object) =>
       ((s__instance(V__I,s__AppleIPhone) =>
           (( ? [V__B] :
               ((s__instance(V__B,s__IDeviceHomeButton) &
                   s__initiallyContainsPart(V__B,V__I))))))))
   )
)

ComputingBrands.kif 3109-3114

consequent
-------------------------


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


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