Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  maxRoomCapacity
  AppleIPhoneOS901

Sigma KEE - AppleIPhoneOS901
AppleIPhoneOS901

appearance as argument number 1
-------------------------


(subclass AppleIPhoneOS901 AppleIPhoneOS9) ComputingBrands.kif 703-703 AppleIPhoneOS901 e' uma sub-classe de AppleIPhoneOS9

appearance as argument number 2
-------------------------


(deviceOS AppleIPhone6s AppleIPhoneOS901) ComputingBrands.kif 705-705 deviceOS AppleIPhone6s and AppleIPhoneOS901
(deviceOS AppleIPhone6splus AppleIPhoneOS901) ComputingBrands.kif 706-706 deviceOS AppleIPhone6splus and AppleIPhoneOS901
(termFormat EnglishLanguage AppleIPhoneOS901 "Apple i phone oS901") domainEnglishFormat.kif 64459-64459


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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