| appearance as argument number 1 |
|
| (documentation AppleIPhone ChineseLanguage "由 AppleComputerCorporation 开发并且发售的 MobileCellPhone 。") | ComputingBrands.kif 632-632 | |
| (documentation AppleIPhone ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且販售的 MobileCellPhone 。") | ComputingBrands.kif 631-631 | |
| (documentation AppleIPhone EnglishLanguage "MobileCellPhone developed and sold by AppleComputerCorporation") | ComputingBrands.kif 629-630 | |
| (documentation AppleIPhone JapaneseLanguage "MobileCellPhoneはAppleComputerCorporation によって開発そして販売されている。") | ComputingBrands.kif 633-634 | |
| (subclass AppleIPhone AppleComputer) | ComputingBrands.kif 628-628 | |
| (subclass AppleIPhone MobileCellPhone) | ComputingBrands.kif 627-627 |
| appearance as argument number 2 |
|
|
| (canRunOn AppleIOS AppleIPhone) | ComputingBrands.kif 91-91 | |
| (initiallyContainsPart IDeviceHomeButton AppleIPhone) | ComputingBrands.kif 3150-3150 | |
| (subclass AppleIPhone1 AppleIPhone) | ComputingBrands.kif 642-642 | |
| (subclass AppleIPhone11 AppleIPhone) | ComputingBrands.kif 663-663 | |
| (subclass AppleIPhone11ProMax AppleIPhone) | ComputingBrands.kif 665-665 | |
| (subclass AppleIPhone11pro AppleIPhone) | ComputingBrands.kif 664-664 | |
| (subclass AppleIPhone3GS AppleIPhone) | ComputingBrands.kif 644-644 | |
| (subclass AppleIPhone3g AppleIPhone) | ComputingBrands.kif 643-643 | |
| (subclass AppleIPhone4 AppleIPhone) | ComputingBrands.kif 645-645 | |
| (subclass AppleIPhone4s AppleIPhone) | ComputingBrands.kif 646-646 | |
| (subclass AppleIPhone5 AppleIPhone) | ComputingBrands.kif 647-647 | |
| (subclass AppleIPhone5c AppleIPhone) | ComputingBrands.kif 648-648 | |
| (subclass AppleIPhone5s AppleIPhone) | ComputingBrands.kif 649-649 | |
| (subclass AppleIPhone6 AppleIPhone) | ComputingBrands.kif 650-650 | |
| (subclass AppleIPhone6plus AppleIPhone) | ComputingBrands.kif 651-651 | |
| (subclass AppleIPhone6s AppleIPhone) | ComputingBrands.kif 652-652 | |
| (subclass AppleIPhone6splus AppleIPhone) | ComputingBrands.kif 653-653 | |
| (subclass AppleIPhone7 AppleIPhone) | ComputingBrands.kif 655-655 | |
| (subclass AppleIPhone7plus AppleIPhone) | ComputingBrands.kif 656-656 | |
| (subclass AppleIPhone8 AppleIPhone) | ComputingBrands.kif 657-657 | |
| (subclass AppleIPhone8plus AppleIPhone) | ComputingBrands.kif 658-658 | |
| (subclass AppleIPhoneX AppleIPhone) | ComputingBrands.kif 659-659 | |
| (subclass AppleIPhoneXR AppleIPhone) | ComputingBrands.kif 662-662 | |
| (subclass AppleIPhoneXS AppleIPhone) | ComputingBrands.kif 660-660 | |
| (subclass AppleIPhoneXSmax AppleIPhone) | ComputingBrands.kif 661-661 | |
| 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 2242-2246 |
| 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 4263-4282 |
|
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