Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 171-176
No TPTP formula. May not be expressible in strict first order.
Merge.kif 169-169
The number 1 argument of
subrelation
is an
instance
of
relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 170-170
The number 2 argument of
subrelation
is an
instance
of
relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 167-167
subrelation
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 168-168
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 329-329
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 55701-55701
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55700-55700
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 21188-21192
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 184-188
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 set or class
,
then the number
the positive integer
argument of
the relation
is an
instance
of
the set or class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 198-203
If
a relation
is a
subrelation
of
another relation
and
the other relation
is an
instance
of
a set or class
and
the set or class
is a
subclass
of
inheritable relation
,
then
the relation
is an
instance
of
the set or class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 178-182
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 236-240
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 set or class
,
then the number
the positive integer
argument of
the relation
is a
subclass
of
the set or class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 190-196
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 316-320
If
a function
is a
subrelation
of
another function
and the
range
of
the other function
is an instance of
a set or class
,
then the
range
of
the function
is an instance of
the set or class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 343-347
If
a function
is a
subrelation
of
another function
and the values returned by
the other function
are
subclasses
of
a kind of set or class
,
then the values returned by
the function
are
subclasses
of
a kind of set or class
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2328-2330
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 2459-2459
Aborted launch
is a
subrelation
of
aborted
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2413-2413
Aborted mission
is a
subrelation
of
aborted
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7759-7759
Citizenry
is a
subrelation
of
resident
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6345-6345
Density
is a
subrelation
of
per
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16084-16084
DepartmentOfPreventingFn
is a
subrelation
of
department
No TPTP formula. May not be expressible in strict first order.
Geography.kif 5772-5772
Shoreline
is a
subrelation
of
border
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6357-6357
Speed
is a
subrelation
of
per
No TPTP formula. May not be expressible in strict first order.
Media.kif 3131-3131
abbreviatedDisplayTitle
is a
subrelation
of
displayTitle
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25519-25519
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 5799-5799
abstractCounterpart
is a
subrelation
of
represents
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 1622-1622
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 4329-4329
account information
is a
subrelation
of
contains information
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4075-4075
accountPhoneNumber
is a
subrelation
of
account information
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4083-4083
account used
is a
subrelation
of
patient
No TPTP formula. May not be expressible in strict first order.
Media.kif 3004-3004
acronym
is a
subrelation
of
abbreviation
No TPTP formula. May not be expressible in strict first order.
Government.kif 373-373
administrative center
is a
subrelation
of
geopolitical subdivision
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3221-3221
after tax income
is a
subrelation
of
income earned
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7159-7159
age
is a
subrelation
of
measure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2336-2336
agent
is a
subrelation
of
involved in event
No TPTP formula. May not be expressible in strict first order.
Media.kif 3392-3392
agentName
is a
subrelation
of
names
No TPTP formula. May not be expressible in strict first order.
Government.kif 2191-2191
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 23631-23631
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
subrelation