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 172-177
No TPTP formula. May not be expressible in strict first order.
Merge.kif 170-170
The number 1 argument of
subrelation
is an
instance
of
relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 171-171
The number 2 argument of
subrelation
is an
instance
of
relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 168-168
subrelation
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 169-169
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 55711-55711
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55710-55710
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 21194-21198
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 185-189
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 199-204
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 179-183
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 237-241
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 191-197
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 317-321
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 344-348
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 2333-2335
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 7761-7761
Citizenry
is a
subrelation
of
resident
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6355-6355
Density
is a
subrelation
of
per
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16086-16086
DepartmentOfPreventingFn
is a
subrelation
of
department
No TPTP formula. May not be expressible in strict first order.
Geography.kif 5865-5865
Shoreline
is a
subrelation
of
border
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6367-6367
Speed
is a
subrelation
of
per
No TPTP formula. May not be expressible in strict first order.
Media.kif 3133-3133
abbreviatedDisplayTitle
is a
subrelation
of
displayTitle
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25527-25527
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 5809-5809
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 7172-7172
age
is a
subrelation
of
measure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2341-2341
agent
is a
subrelation
of
involved in event
No TPTP formula. May not be expressible in strict first order.
Media.kif 3394-3394
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 23637-23637
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