Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
deviceOS
Sigma KEE - deviceOS
deviceOS
appearance as argument number 1
(
documentation
deviceOS
EnglishLanguage
"Instances of a
Computer
are intended to run versions of the given
OperatingSystem
. Note that this does not cover cases of a device that is hacked or subject to
Jailbreaking
in order to run a given OS that was not intended for the device.")
ComputingBrands.kif 730-732
(
domainSubclass
deviceOS
1
OperatingSystem
)
ComputingBrands.kif 727-727
Die Zahl 1 Argument von
deviceOS
ist eine
teilkategorie
von
OperatingSystem
%n{nicht}
(
domainSubclass
deviceOS
2
Computer
)
ComputingBrands.kif 728-728
Die Zahl 2 Argument von
deviceOS
ist eine
teilkategorie
von
Computer
%n{nicht}
(
instance
deviceOS
BinaryRelation
)
ComputingBrands.kif 726-726
deviceOS
ist ein
fall
von
BinaryRelation
%n{nicht}
(
subrelation
deviceOS
canRunOn
)
ComputingBrands.kif 729-729
deviceOS
ist eine
teilrelation
von
canRunOn
appearance as argument number 2
(
termFormat
EnglishLanguage
deviceOS
"device OS")
domainEnglishFormat.kif 65809-65809
antecedent
(=>
(
and
(
deviceOS
?C ?OS)
(
instance
?CI ?C)
(
instance
?OSI ?OS)
(
manufacturer
?C ?ORG))
(
desires
?ORG
(
and
(
programRunning
?PROC ?OSI)
(
computerRunning
?PROC ?CI))))
ComputingBrands.kif 734-743
Wenn
deviceOS
** Object
and
** Computer
und
** Object
I ist ein
fall
von
** ** Object
%n{nicht} und
** Computer
I ist ein
fall
von
** ** Computer
%n{nicht} und
manufacturer
** ** Object
and
CognitiveAgent
,
dann
** CognitiveAgent
wuenscht
programRunning
** entity
and
** ** Computer
I und
computerRunning
** ** entity
and
** ** Object
I %n{nicht}
appearance as argument number 0
(
deviceOS
AppleIPhone1
AppleIPhoneOS1
)
ComputingBrands.kif 692-692
deviceOS
AppleIPhone1
and
AppleIPhoneOS1
(
deviceOS
AppleIPhone11
AppleIPhoneOS13
)
ComputingBrands.kif 722-722
deviceOS
AppleIPhone11
and
AppleIPhoneOS13
(
deviceOS
AppleIPhone11ProMax
AppleIPhoneOS13
)
ComputingBrands.kif 724-724
deviceOS
AppleIPhone11ProMax
and
AppleIPhoneOS13
(
deviceOS
AppleIPhone11pro
AppleIPhoneOS13
)
ComputingBrands.kif 723-723
deviceOS
AppleIPhone11pro
and
AppleIPhoneOS13
(
deviceOS
AppleIPhone3GS
AppleIPhoneOS3
)
ComputingBrands.kif 694-694
deviceOS
AppleIPhone3GS
and
AppleIPhoneOS3
(
deviceOS
AppleIPhone3g
AppleIPhoneOS2
)
ComputingBrands.kif 693-693
deviceOS
AppleIPhone3g
and
AppleIPhoneOS2
(
deviceOS
AppleIPhone4
AppleIPhoneOS4
)
ComputingBrands.kif 695-695
deviceOS
AppleIPhone4
and
AppleIPhoneOS4
(
deviceOS
AppleIPhone4s
AppleIPhoneOS5
)
ComputingBrands.kif 696-696
deviceOS
AppleIPhone4s
and
AppleIPhoneOS5
(
deviceOS
AppleIPhone5
AppleIPhoneOS6
)
ComputingBrands.kif 697-697
deviceOS
AppleIPhone5
and
AppleIPhoneOS6
(
deviceOS
AppleIPhone5c
AppleIPhoneOS7
)
ComputingBrands.kif 698-698
deviceOS
AppleIPhone5c
and
AppleIPhoneOS7
(
deviceOS
AppleIPhone5s
AppleIPhoneOS7
)
ComputingBrands.kif 699-699
deviceOS
AppleIPhone5s
and
AppleIPhoneOS7
(
deviceOS
AppleIPhone6
AppleIPhoneOS8
)
ComputingBrands.kif 700-700
deviceOS
AppleIPhone6
and
AppleIPhoneOS8
(
deviceOS
AppleIPhone6plus
AppleIPhoneOS8
)
ComputingBrands.kif 701-701
deviceOS
AppleIPhone6plus
and
AppleIPhoneOS8
(
deviceOS
AppleIPhone6s
AppleIPhoneOS901
)
ComputingBrands.kif 705-705
deviceOS
AppleIPhone6s
and
AppleIPhoneOS901
(
deviceOS
AppleIPhone6splus
AppleIPhoneOS901
)
ComputingBrands.kif 706-706
deviceOS
AppleIPhone6splus
and
AppleIPhoneOS901
(
deviceOS
AppleIPhone7
AppleIPhoneOS10
)
ComputingBrands.kif 711-711
deviceOS
AppleIPhone7
and
AppleIPhoneOS10
(
deviceOS
AppleIPhone7plus
AppleIPhoneOS10
)
ComputingBrands.kif 712-712
deviceOS
AppleIPhone7plus
and
AppleIPhoneOS10
(
deviceOS
AppleIPhone8
AppleIPhoneOS11
)
ComputingBrands.kif 713-713
deviceOS
AppleIPhone8
and
AppleIPhoneOS11
(
deviceOS
AppleIPhone8plus
AppleIPhoneOS11
)
ComputingBrands.kif 714-714
deviceOS
AppleIPhone8plus
and
AppleIPhoneOS11
(
deviceOS
AppleIPhoneX
AppleIPhoneOS111
)
ComputingBrands.kif 715-715
deviceOS
AppleIPhoneX
and
AppleIPhoneOS111
(
deviceOS
AppleIPhoneXR
AppleIPhoneOS12
)
ComputingBrands.kif 721-721
deviceOS
AppleIPhoneXR
and
AppleIPhoneOS12
(
deviceOS
AppleIPhoneXS
AppleIPhoneOS12
)
ComputingBrands.kif 719-719
deviceOS
AppleIPhoneXS
and
AppleIPhoneOS12
(
deviceOS
AppleIPhoneXSmax
AppleIPhoneOS12
)
ComputingBrands.kif 720-720
deviceOS
AppleIPhoneXSmax
and
AppleIPhoneOS12
(
deviceOS
AppleIPhonese
AppleIPhoneOS93
)
ComputingBrands.kif 707-707
deviceOS
AppleIPhonese
and
AppleIPhoneOS93
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