Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   GraphPath
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AndroidOS PhoneOS) | ComputingBrands.kif 28-28 | Android is a subclass of phone OS |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AndroidOS "Android OS") | ComputingBrands.kif 36-36 | |
| (termFormat JapaneseLanguage AndroidOS "Android OS") | ComputingBrands.kif 37-37 | |
| (termFormat EnglishLanguage AndroidOS "Android Operating System") | ComputingBrands.kif 39-39 | |
| (termFormat ChineseTraditionalLanguage AndroidOS "Android 操作系統") | ComputingBrands.kif 40-40 | |
| (termFormat ChineseLanguage AndroidOS "Android 作业系统") | ComputingBrands.kif 41-41 | |
| (termFormat JapaneseLanguage AndroidOS "Android オペレーティングシステム") | ComputingBrands.kif 42-42 | |
| (termFormat EnglishLanguage AndroidOS "Android") | ComputingBrands.kif 44-44 | |
| (termFormat ChineseTraditionalLanguage AndroidOS "Android") | ComputingBrands.kif 45-45 | |
| (termFormat ChineseLanguage AndroidOS "Android") | ComputingBrands.kif 46-46 | |
| (termFormat JapaneseLanguage AndroidOS "Android") | ComputingBrands.kif 47-47 |
| antecedent |
|
|
| (=> (and (subclass ?OS AndroidOS) (instance ?INST ?OS)) (creator AlphabetCorporation ?INST)) |
ComputingBrands.kif 30-34 | If X is a subclass of Android and Y is an instance of X, then Alphabet created Y |
|