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
subrelation
Sigma KEE - subrelation
subrelation
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1375-1378
No TPTP formula. May not be expressible in strict first order.
Merge.kif 173-178
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 33-37
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 35-39
No TPTP formula. May not be expressible in strict first order.
Merge.kif 171-171
The number 1 argument of
subrelation
is an
instance
of
relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 172-172
The number 2 argument of
subrelation
is an
instance
of
relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 169-169
subrelation
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 170-170
subrelation
is an
instance
of
partial ordering relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 321-321
No TPTP formula. May not be expressible in strict first order.
english_format.kif 326-326
No TPTP formula. May not be expressible in strict first order.
french_format.kif 183-183
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 279-279
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2003-2003
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 135-135
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 176-176
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 422-422
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 316-316
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 203-203
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 193-193
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 471-471
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 322-322
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55787-55787
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55786-55786
antecedent
No TPTP formula. May not be expressible in strict first order.
Media.kif 119-121
A relation
is a
subrelation
of
involved in event
if and only if
the relation
is an
instance
of
case role
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 43-52
If
an attribute
is an
instance
of
attribute
and
another attribute
is an
instance
of
attribute
and
a binary predicate
is a
subrelation
of
attribute
,
then ~{
the attribute
and
the other attribute
are
mutually
exclusive
for
the binary predicate
} or ~{
the binary predicate
an entity
and
the attribute
} or ~{
the binary predicate
the entity
and
the other attribute
}
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23246-23250
If
an object
plays
role in event
a case role
for
a process
and
the case role
is a
subrelation
of
the case role
2,
then
the object
plays
role in event
the case role
2 for
the process
No TPTP formula. May not be expressible in strict first order.
Merge.kif 186-190
If
a relation
is a
subrelation
of
another relation
and the number
a positive integer
argument of
the other relation
is an
instance
of
a class
,
then the number
the positive integer
argument of
the relation
is an
instance
of
the class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 200-205
If
a relation
is a
subrelation
of
another relation
and
the other relation
is an
instance
of
a class
and
the class
is a
subclass
of
inheritable relation
,
then
the relation
is an
instance
of
the class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 180-184
If
a relation
is a
subrelation
of
another relation
and
the relation
has
a positive integer
argument
(s),
then
the other relation
has
the positive integer
argument
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 238-242
If
a relation
is a
subrelation
of
another relation
and the number
a positive integer
argument of
the other relation
is a
subclass
of
a class
,
then the number
the positive integer
argument of
the relation
is a
subclass
of
the class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 192-198
If
a relation
is a
subrelation
of
another relation
and
the relation
is an
instance
of
predicate
and
the other relation
is an
instance
of
predicate
and
the relation
@ROW,
then
the other relation
@ROW
No TPTP formula. May not be expressible in strict first order.
Merge.kif 318-322
If
a function
is a
subrelation
of
another function
and the
range
of
the other function
is an instance of
a class
,
then the
range
of
the function
is an instance of
the class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 345-349
If
a function
is a
subrelation
of
another function
and the values returned by
the other function
are
subclasses
of
a kind of class
,
then the values returned by
the function
are
subclasses
of
a kind of class
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2427-2429
If
a relation
is an
instance
of
case role
,
then
the relation
is a
subrelation
of
involved in event
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2479-2479
Aborted launch
is a
subrelation
of
aborted
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2433-2433
Aborted mission
is a
subrelation
of
aborted
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 8037-8037
Citizenry
is a
subrelation
of
resident
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6642-6642
Density
is a
subrelation
of
per
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18389-18389
Department of preventing fn
is a
subrelation
of
department
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6176-6176
Shoreline
is a
subrelation
of
border
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6654-6654
Speed
is a
subrelation
of
per
No TPTP formula. May not be expressible in strict first order.
Media.kif 3163-3163
abbreviated display title
is a
subrelation
of
display title
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 27233-27233
abbreviation
is a
subrelation
of
conventional short name
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 868-868
absorbed dose
is a
subrelation
of
measure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6113-6113
abstract counterpart
is a
subrelation
of
represents
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 1617-1617
abstraction level
is a
subrelation
of
property
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 228-228
account at
is a
subrelation
of
party to agreement
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 247-247
account holder
is a
subrelation
of
party to agreement
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4409-4409
account information
is a
subrelation
of
contains information
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4155-4155
account phone number
is a
subrelation
of
account information
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4163-4163
account used
is a
subrelation
of
patient
No TPTP formula. May not be expressible in strict first order.
Media.kif 3034-3034
acronym
is a
subrelation
of
abbreviation
No TPTP formula. May not be expressible in strict first order.
Government.kif 385-385
administrative center
is a
subrelation
of
geopolitical subdivision
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3323-3323
after tax income
is a
subrelation
of
income earned
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7517-7517
age
is a
subrelation
of
measure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2435-2435
agent
is a
subrelation
of
involved in event
No TPTP formula. May not be expressible in strict first order.
Media.kif 3424-3424
agent name
is a
subrelation
of
names
No TPTP formula. May not be expressible in strict first order.
Government.kif 2237-2237
agent operates in area
is a
subrelation
of
partly located
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25675-25675
air temperature
is a
subrelation
of
measure
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