Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (subclass ?OS AppleIOS)
        (instance ?INST ?OS))
    (creator AppleComputerCorporation ?INST))
ComputingBrands.kif 93-97
(subclass AppleIOS PhoneOS) ComputingBrands.kif 84-84 苹果作业系统PhoneOSsubclass
(subclass AppleIPhoneOS1 AppleIOS) ComputingBrands.kif 111-111 IOS 1苹果作业系统subclass
(subclass AppleIPhoneOS2 AppleIOS) ComputingBrands.kif 132-132 IOS 2苹果作业系统subclass
(subclass AppleIPhoneOS3 AppleIOS) ComputingBrands.kif 138-138 IOS 3苹果作业系统subclass
(subclass AppleIPhoneOS4 AppleIOS) ComputingBrands.kif 144-144 IOS 4苹果作业系统subclass
(subclass AppleIPhoneOS5 AppleIOS) ComputingBrands.kif 155-155 IOS 5苹果作业系统subclass
(subclass AppleIPhoneOS6 AppleIOS) ComputingBrands.kif 161-161 IOS 6苹果作业系统subclass
(subclass AppleIPhoneOS7 AppleIOS) ComputingBrands.kif 167-167 IOS 7苹果作业系统subclass
(subclass AppleIPhoneOS8 AppleIOS) ComputingBrands.kif 173-173 IOS 8苹果作业系统subclass
(subclass AppleIPhoneOS9 AppleIOS) ComputingBrands.kif 179-179 IOS 9苹果作业系统subclass
(subclass AppleIPhoneOS10 AppleIOS) ComputingBrands.kif 185-185 IOS 10苹果作业系统subclass
(subclass AppleIPhoneOS11 AppleIOS) ComputingBrands.kif 191-191 IOS 11苹果作业系统subclass
(subclass AppleIPhoneOS12 AppleIOS) ComputingBrands.kif 197-197 IOS 12苹果作业系统subclass
(subclass AppleIPhoneOS13 AppleIOS) ComputingBrands.kif 203-203 IOS 13苹果作业系统subclass


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