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

Formal Language: 



Term 1: Term 2:

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