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
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 730-732
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 727-727
The number 1 argument of
device OS
is a
subclass
of
operating system
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 728-728
The number 2 argument of
device OS
is a
subclass
of
computer
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 726-726
device OS
is an
instance
of
binary relation
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 729-729
device OS
is a
subrelation
of
can run on
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 65809-65809
antecedent
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 734-743
If
device OS
a kind of object
and
a kind of computer
and
a kind of object
I is an
instance
of
the kind of object
and
a kind of computer
I is an
instance
of
the kind of computer
and the maker of
the kind of object
is
a cognitive agent
,
then
the cognitive agent
desire
s
the kind of computer
I is a
program
running of
a third entity
and
the third entity
is
running
on
the kind of object
I
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 692-692
device OS
Apple iPhone
and
IOS 1
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 722-722
device OS
Apple iPhone
and
IOS 13
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 724-724
device OS
Apple iPhone
and
IOS 13
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 723-723
device OS
Apple iPhone
and
IOS 13
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 694-694
device OS
Apple iPhone
and
IOS 3
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 693-693
device OS
Apple iPhone
and
IOS 2
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 695-695
device OS
Apple iPhone
and
IOS 4
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 696-696
device OS
Apple iPhone
and
IOS 5
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 697-697
device OS
Apple iPhone
and
IOS 6
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 698-698
device OS
Apple iPhone
and
IOS 7
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 699-699
device OS
Apple iPhone
and
IOS 7
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 700-700
device OS
Apple iPhone
and
IOS 8
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 701-701
device OS
Apple iPhone
and
IOS 8
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 705-705
device OS
Apple iPhone
and
Apple i phone oS901
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 706-706
device OS
Apple iPhone
and
Apple i phone oS901
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 711-711
device OS
Apple iPhone
and
IOS 10
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 712-712
device OS
Apple iPhone
and
IOS 10
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 713-713
device OS
Apple iPhone
and
IOS 11
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 714-714
device OS
Apple iPhone
and
IOS 11
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 715-715
device OS
Apple iPhone
and
Apple i phone oS111
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 721-721
device OS
Apple iPhone
and
IOS 12
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 719-719
device OS
Apple iPhone
and
IOS 12
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 720-720
device OS
Apple iPhone
and
IOS 12
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 707-707
device OS
Apple iPhone
and
Apple i phone oS93
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