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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleIPhone
AppleIPhone

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


(documentation AppleIPhone ChineseLanguage "由 AppleComputerCorporation 开发并且发售的 MobileCellPhone 。") ComputingBrands.kif 625-625
(documentation AppleIPhone ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且販售的 MobileCellPhone 。") ComputingBrands.kif 624-624
(documentation AppleIPhone EnglishLanguage "MobileCellPhone developed and sold by AppleComputerCorporation") ComputingBrands.kif 622-623
(documentation AppleIPhone JapaneseLanguage "MobileCellPhoneAppleComputerCorporation によって開発そして販売されている。") ComputingBrands.kif 626-627
(subclass AppleIPhone AppleComputer) ComputingBrands.kif 621-621
(subclass AppleIPhone MobileCellPhone) ComputingBrands.kif 620-620

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


(canRunOn AppleIOS AppleIPhone) ComputingBrands.kif 86-86
(initiallyContainsPart IDeviceHomeButton AppleIPhone) ComputingBrands.kif 3118-3118
(subclass AppleIPhone1 AppleIPhone) ComputingBrands.kif 635-635
(subclass AppleIPhone11 AppleIPhone) ComputingBrands.kif 656-656
(subclass AppleIPhone11ProMax AppleIPhone) ComputingBrands.kif 658-658
(subclass AppleIPhone11pro AppleIPhone) ComputingBrands.kif 657-657
(subclass AppleIPhone3GS AppleIPhone) ComputingBrands.kif 637-637
(subclass AppleIPhone3g AppleIPhone) ComputingBrands.kif 636-636
(subclass AppleIPhone4 AppleIPhone) ComputingBrands.kif 638-638
(subclass AppleIPhone4s AppleIPhone) ComputingBrands.kif 639-639
(subclass AppleIPhone5 AppleIPhone) ComputingBrands.kif 640-640
(subclass AppleIPhone5c AppleIPhone) ComputingBrands.kif 641-641
(subclass AppleIPhone5s AppleIPhone) ComputingBrands.kif 642-642
(subclass AppleIPhone6 AppleIPhone) ComputingBrands.kif 643-643
(subclass AppleIPhone6plus AppleIPhone) ComputingBrands.kif 644-644
(subclass AppleIPhone6s AppleIPhone) ComputingBrands.kif 645-645
(subclass AppleIPhone6splus AppleIPhone) ComputingBrands.kif 646-646
(subclass AppleIPhone7 AppleIPhone) ComputingBrands.kif 648-648
(subclass AppleIPhone7plus AppleIPhone) ComputingBrands.kif 649-649
(subclass AppleIPhone8 AppleIPhone) ComputingBrands.kif 650-650
(subclass AppleIPhone8plus AppleIPhone) ComputingBrands.kif 651-651
(subclass AppleIPhoneX AppleIPhone) ComputingBrands.kif 652-652
(subclass AppleIPhoneXR AppleIPhone) ComputingBrands.kif 655-655
(subclass AppleIPhoneXS AppleIPhone) ComputingBrands.kif 653-653
(subclass AppleIPhoneXSmax AppleIPhone) ComputingBrands.kif 654-654

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?B BasebandForIPhone)
        (instance ?I AppleIPhone))
    (runsOn ?B ?I))
ComputingBrands.kif 2210-2214

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


(=>
    (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 4226-4245


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