| appearance as argument number 1 |
|
| (documentation BasebandForIPhone ChineseLanguage "对于 AppleIPhone 的韧体.") | ComputingBrands.kif 2251-2251 | |
| (documentation BasebandForIPhone ChineseTraditionalLanguage "對於 AppleIPhone 的韌體.") | ComputingBrands.kif 2249-2250 | |
| (documentation BasebandForIPhone EnglishLanguage "The Firmware for the AppleIPhone.") | ComputingBrands.kif 2248-2248 | |
| (documentation BasebandForIPhone JapaneseLanguage "AppleIPhoneのファームウェア") | ComputingBrands.kif 2252-2252 | |
| (subclass BasebandForIPhone Firmware) | ComputingBrands.kif 2241-2241 | Baseband is a subclass of firmware |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BasebandForIPhone "基带") | ComputingBrands.kif 2256-2256 | |
| (termFormat ChineseTraditionalLanguage BasebandForIPhone "基帶") | ComputingBrands.kif 2255-2255 | |
| (termFormat EnglishLanguage BasebandForIPhone "baseband") | ComputingBrands.kif 2254-2254 | |
| (termFormat JapaneseLanguage BasebandForIPhone "ベースバンド") | ComputingBrands.kif 2257-2257 |
| antecedent |
|
|
| (=> (and (instance ?B BasebandForIPhone) (instance ?I AppleIPhone)) (runsOn ?B ?I)) |
ComputingBrands.kif 2242-2246 |
|
|
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