FurnitureAndHomeFurnishingsStores
|
|
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 | AppleIPhone est une sous-classe de AppleComputer |
(subclass AppleIPhone MobileCellPhone) | ComputingBrands.kif 627-627 | AppleIPhone est une sous-classe de MobileCellPhone |
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 |
|