AppleIPhone(iPhone) |
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 | 子類 iPhone and AppleComputer |
(subclass AppleIPhone MobileCellPhone) | ComputingBrands.kif 627-627 | 子類 iPhone and 移動手機 |
appearance as argument number 2 |
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 |