Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
codeMapping
Sigma KEE - codeMapping
codeMapping
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Media.kif 2269-2272
No TPTP formula. May not be expressible in strict first order.
Media.kif 2266-2266
The number 1 argument of
code mapping
is an
instance
of
code map
No TPTP formula. May not be expressible in strict first order.
Media.kif 2267-2267
The number 2 argument of
code mapping
is an
instance
of
symbolic string
No TPTP formula. May not be expressible in strict first order.
Media.kif 2268-2268
The number 3 argument of
code mapping
is an
instance
of
entity
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10647-10647
The number 3 argument of
code mapping
is an
instance
of
entity
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10648-10648
The number 3 argument of
code mapping
is an
instance
of
entity
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10646-10646
The number 3 argument of
code mapping
is an
instance
of
entity
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10656-10656
The number 3 argument of
code mapping
is an
instance
of
entity
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10650-10650
The number 3 argument of
code mapping
is an
instance
of
entity
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10652-10652
The number 3 argument of
code mapping
is an
instance
of
entity
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10653-10653
The number 3 argument of
code mapping
is an
instance
of
entity
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10651-10651
The number 3 argument of
code mapping
is an
instance
of
entity
No TPTP formula. May not be expressible in strict first order.
pictureList.kif 10654-10654
The number 3 argument of
code mapping
is an
instance
of
entity
No TPTP formula. May not be expressible in strict first order.
Media.kif 2265-2265
code mapping
is an
instance
of
ternary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3014-3014
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3013-3013
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3012-3012
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 65792-65792
antecedent
No TPTP formula. May not be expressible in strict first order.
Media.kif 2891-2897
If
a symbolic string
in
ISO_4217_A
denotes
an unit of currency
and
another symbolic string
in
ISO_3166_1_alpha_2
denotes
a geopolitical area
and
the geopolitical area
is an
instance
of
geopolitical area
and
equal
the other symbolic string
and the
sub
-string of
the symbolic string
from 0 to 2,
then
the unit of currency
is a
currency
type of
the geopolitical area
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 4041-4047
If
a code map
is an
instance
of
airline code map
and
a symbolic string
in
the code map
denotes
an entity
,
then
the entity
is an
instance
of
Airline
and
the symbolic string
express
es
the entity
No TPTP formula. May not be expressible in strict first order.
Media.kif 2274-2276
If
a symbolic string
in
a code map
denotes
an entity
,
then
the symbolic string
express
es
the entity
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 4071-4073
If
a symbolic string
in
IACO airline code
denotes
an entity
,
then
equal
3 and the
length
of
the symbolic string
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 4067-4069
If
a symbolic string
in
IACO airline code
denotes
a physical
,
then
the physical
is a
member
of
international civil aviation organization
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 4058-4060
If
a symbolic string
in
IATA airline code
denotes
an entity
,
then
equal
2 and the
length
of
the symbolic string
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 4054-4056
If
a symbolic string
in
IATA airline code
denotes
a physical
,
then
the physical
is a
member
of
International Air Transport Association
No TPTP formula. May not be expressible in strict first order.
Media.kif 2638-2643
If
a symbolic string
in
ISO_3166_1_alpha_2
denotes
an entity
,
then
the entity
is an
instance
of
geographic area
and
the symbolic string
is an
instance
of
alphabetic string
and
the symbolic string
is 2
characters
long
No TPTP formula. May not be expressible in strict first order.
Media.kif 2318-2320
If
a symbolic string
in
ISO_4217_A
denotes
an unit of currency
,
then
the unit of currency
is a
currency
code of
the symbolic string
No TPTP formula. May not be expressible in strict first order.
Media.kif 2288-2293
If
a symbolic string
in
ISO_4217_A
denotes
an entity
,
then
the entity
is an
instance
of
unit of measure
and
the symbolic string
is 3
characters
long
and
the symbolic string
is an
instance
of
alphabetic string
No TPTP formula. May not be expressible in strict first order.
Languages.kif 14715-14717
If
a symbolic string
in
ISO_639_1
denotes
an entity
,
then
the symbolic string
is an
instance
of
symbolic string
No TPTP formula. May not be expressible in strict first order.
Languages.kif 14705-14709
If
a symbolic string
in
ISO_639_1
denotes
an entity
,
then
the entity
is an
instance
of
human language
or
the entity
is an
instance
of
another entity
is a
subclass
of
human language
No TPTP formula. May not be expressible in strict first order.
Languages.kif 14711-14713
If
a symbolic string
in
ISO_639_1
denotes
an entity
,
then
the symbolic string
is 2
characters
long
consequent
No TPTP formula. May not be expressible in strict first order.
Media.kif 801-812
If
an object
is an
instance
of
digital data storage device
and
a symbolic string
is a
part
of
the object
and
the symbolic string
is an
instance
of
digital data
,
then there exist
a code map
,
a list
and
an entity
such that
the symbolic string
in
the code map
denotes
the entity
and
the list
express
es
the code map
and
if
the entity
is a
member
of
the list
,
then
the entity
is an
instance
of
binary number
No TPTP formula. May not be expressible in strict first order.
Media.kif 2322-2324
If
an unit of currency
is a
currency
code of
a symbolic string
,
then
the symbolic string
in
ISO_4217_A
denotes
the unit of currency
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Media.kif 2645-2645
"AD" in
ISO_3166_1_alpha_2
denotes
andorra
No TPTP formula. May not be expressible in strict first order.
Media.kif 2836-2836
"AE" in
ISO_3166_1_alpha_2
denotes
united arab emirates
No TPTP formula. May not be expressible in strict first order.
Media.kif 2646-2646
"AF" in
ISO_3166_1_alpha_2
denotes
afghanistan
No TPTP formula. May not be expressible in strict first order.
Media.kif 2647-2647
"AG" in
ISO_3166_1_alpha_2
denotes
antigua and barbuda
No TPTP formula. May not be expressible in strict first order.
Media.kif 2844-2844
"AI" in
ISO_3166_1_alpha_2
denotes
anguilla
No TPTP formula. May not be expressible in strict first order.
Media.kif 2648-2648
"AL" in
ISO_3166_1_alpha_2
denotes
albania
No TPTP formula. May not be expressible in strict first order.
Media.kif 2649-2649
"AM" in
ISO_3166_1_alpha_2
denotes
armenia
No TPTP formula. May not be expressible in strict first order.
Media.kif 2869-2869
"AN" in
ISO_3166_1_alpha_2
denotes
netherlands antilles
No TPTP formula. May not be expressible in strict first order.
Media.kif 2650-2650
"AO" in
ISO_3166_1_alpha_2
denotes
angola
No TPTP formula. May not be expressible in strict first order.
Media.kif 2845-2845
"AQ" in
ISO_3166_1_alpha_2
denotes
antarctica
No TPTP formula. May not be expressible in strict first order.
Media.kif 2651-2651
"AR" in
ISO_3166_1_alpha_2
denotes
argentina
No TPTP formula. May not be expressible in strict first order.
Media.kif 2843-2843
"AS" in
ISO_3166_1_alpha_2
denotes
american samoa
No TPTP formula. May not be expressible in strict first order.
Media.kif 2652-2652
"AT" in
ISO_3166_1_alpha_2
denotes
austria
No TPTP formula. May not be expressible in strict first order.
Media.kif 2653-2653
"AU" in
ISO_3166_1_alpha_2
denotes
australia
No TPTP formula. May not be expressible in strict first order.
Media.kif 2846-2846
"AW" in
ISO_3166_1_alpha_2
denotes
aruba
No TPTP formula. May not be expressible in strict first order.
Media.kif 2654-2654
"AX" in
ISO_3166_1_alpha_2
denotes
Aaland islands
No TPTP formula. May not be expressible in strict first order.
Media.kif 2655-2655
"AZ" in
ISO_3166_1_alpha_2
denotes
azerbaijan
No TPTP formula. May not be expressible in strict first order.
Media.kif 2656-2656
"BA" in
ISO_3166_1_alpha_2
denotes
bosnia and herzegovina
No TPTP formula. May not be expressible in strict first order.
Media.kif 2657-2657
"BB" in
ISO_3166_1_alpha_2
denotes
barbados
No TPTP formula. May not be expressible in strict first order.
Media.kif 2658-2658
"BD" in
ISO_3166_1_alpha_2
denotes
bangladesh
No TPTP formula. May not be expressible in strict first order.
Media.kif 2659-2659
"BE" in
ISO_3166_1_alpha_2
denotes
belgium
No TPTP formula. May not be expressible in strict first order.
Media.kif 2660-2660
"BF" in
ISO_3166_1_alpha_2
denotes
burkina faso
No TPTP formula. May not be expressible in strict first order.
Media.kif 2661-2661
"BG" in
ISO_3166_1_alpha_2
denotes
bulgaria
No TPTP formula. May not be expressible in strict first order.
Media.kif 2662-2662
"BH" in
ISO_3166_1_alpha_2
denotes
bahrain
No TPTP formula. May not be expressible in strict first order.
Media.kif 2663-2663
"BI" in
ISO_3166_1_alpha_2
denotes
burundi
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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