| 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 |
|
|
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