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

Formal Language: 



Term 1: Term 2:

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


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