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

Formal Language: 



Term 1: Term 2:

(subclass AppleIPhone MobileCellPhone) ComputingBrands.kif 627-627
(subclass AppleIPhone AppleComputer) ComputingBrands.kif 628-628
(subclass AppleIPhone1 AppleIPhone) ComputingBrands.kif 642-642
(subclass AppleIPhone3g AppleIPhone) ComputingBrands.kif 643-643
(subclass AppleIPhone3GS AppleIPhone) ComputingBrands.kif 644-644
(subclass AppleIPhone4 AppleIPhone) ComputingBrands.kif 645-645
(subclass AppleIPhone4s AppleIPhone) ComputingBrands.kif 646-646
(subclass AppleIPhone5 AppleIPhone) ComputingBrands.kif 647-647
(subclass AppleIPhone5c AppleIPhone) ComputingBrands.kif 648-648
(subclass AppleIPhone5s AppleIPhone) ComputingBrands.kif 649-649
(subclass AppleIPhone6 AppleIPhone) ComputingBrands.kif 650-650
(subclass AppleIPhone6plus AppleIPhone) ComputingBrands.kif 651-651
(subclass AppleIPhone6s AppleIPhone) ComputingBrands.kif 652-652
(subclass AppleIPhone6splus AppleIPhone) ComputingBrands.kif 653-653
(subclass AppleIPhonese AppleIPhone) ComputingBrands.kif 654-654
(subclass AppleIPhone7 AppleIPhone) ComputingBrands.kif 655-655
(subclass AppleIPhone7plus AppleIPhone) ComputingBrands.kif 656-656
(subclass AppleIPhone8 AppleIPhone) ComputingBrands.kif 657-657
(subclass AppleIPhone8plus AppleIPhone) ComputingBrands.kif 658-658
(subclass AppleIPhoneX AppleIPhone) ComputingBrands.kif 659-659
(subclass AppleIPhoneXS AppleIPhone) ComputingBrands.kif 660-660
(subclass AppleIPhoneXSmax AppleIPhone) ComputingBrands.kif 661-661
(subclass AppleIPhoneXR AppleIPhone) ComputingBrands.kif 662-662
(subclass AppleIPhone11 AppleIPhone) ComputingBrands.kif 663-663
(subclass AppleIPhone11pro AppleIPhone) ComputingBrands.kif 664-664
(subclass AppleIPhone11ProMax AppleIPhone) ComputingBrands.kif 665-665


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