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
domain
Sigma KEE - domain
domain
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1380-1385
No TPTP formula. May not be expressible in strict first order.
Merge.kif 211-219
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 38-44
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 40-48
No TPTP formula. May not be expressible in strict first order.
Merge.kif 208-208
The number 1 argument of
domain
is an
instance
of
relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 209-209
The number 2 argument of
domain
is an
instance
of
positive integer
No TPTP formula. May not be expressible in strict first order.
Merge.kif 210-210
The number 3 argument of
domain
is an
instance
of
class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 207-207
domain
is an
instance
of
ternary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 291-291
No TPTP formula. May not be expressible in strict first order.
english_format.kif 296-296
No TPTP formula. May not be expressible in strict first order.
french_format.kif 168-168
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 82-82
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1988-1988
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 120-120
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 177-177
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 378-378
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 122-122
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 188-188
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 175-175
No TPTP formula. May not be expressible in strict first order.
relations-cb.txt 116-116
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20112-20112
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 292-292
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20111-20111
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20110-20110
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 118-118
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 180-180
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31419-31426
If
an object
can be an argument to
a relation
and
the object
is an
instance
of
the object
C and the number 1 argument of
the relation
is an
instance
of
another class
,
then
the object
C is
equal
to
the other class
or
the object
C is a
subclass
of
the other class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2999-3004
If the number
a positive integer
argument of
a relation
is an
instance
of
a class
and
the relation
is an
instance
of
predicate
and
the relation
@ROW,
then
the positive integer
th
element
of (@ROW) is an
instance
of
the class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 221-227
If the number
a positive integer
argument of
a relation
is an
instance
of
a class
and the number
the positive integer
argument of
the relation
is an
instance
of
another class
,
then
the class
is a
subclass
of
the other class
or
the other class
is a
subclass
of
the class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 419-424
If the number
a positive integer
argument of
a relation
is an
instance
of
a class
and the number
the positive integer
argument of
another relation
is an
instance
of
another class
and
the class
is
disjoint
from
the other class
,
then
the relation
and
the other relation
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16932-16936
If
a relation
is an
instance
of
economic relation
and the number 1 argument of
the relation
is an
instance
of
a class
,
then
the class
is a
subclass
of
geopolitical area
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
consequent
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 3376-3386
If
a function
is an
instance
of
one to one function
,
then for all
an entity
and
another entity
if there exists
a class
such that the number 1 argument of
the function
is an
instance
of
the class
and
the entity
is an
instance
of
the class
and
the other entity
is an
instance
of
the class
and
the entity
is not
equal
to
the other entity
,
then
the function
(
the entity
) is not
equal
to
the function
(
the other entity
)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3419-3429
If
a function
is an
instance
of
associative function
,
then for all
an entity
,
another entity
,, ,
a third entity
and
a class
if the number 1 argument of
the function
is an
instance
of
the class
and
the entity
is an
instance
of
the class
and
the other entity
is an
instance
of
the class
and
the third entity
is an
instance
of
the class
,
then
the function
(
the entity
and
the function
(
the other entity
and
the third entity
)) is
equal
to
the function
(
the function
(
the entity
and
the other entity
) and
the third entity
)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3439-3449
If
a function
is an
instance
of
commutative function
,
then for all
an entity
,
another entity
and
a class
if the number 1 argument of
the function
is an
instance
of
the class
and
the entity
is an
instance
of
the class
and
the other entity
is an
instance
of
the class
,
then
the function
(
the entity
and
the other entity
) is
equal
to
the function
(
the other entity
and
the entity
)
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3225-3225
The number 1 argument of
average buying price
is an
instance
of
collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3270-3270
The number 1 argument of
average buying price
is an
instance
of
collection
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2411-2411
The number 1 argument of
aborted
is an
instance
of
agent
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2412-2412
The number 2 argument of
aborted
is an
instance
of
process
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2477-2477
The number 2 argument of
aborted launch
is an
instance
of
taking off
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2431-2431
The number 2 argument of
aborted mission
is an
instance
of
military operation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4763-4763
The number 1 argument of
absolute value
is an
instance
of
real number
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1274-1274
The number 1 argument of
Acceleration fn
is an
instance
of
function quantity
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1275-1275
The number 2 argument of
Acceleration fn
is an
instance
of
time duration
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1276-1276
The number 3 argument of
Acceleration fn
is an
instance
of
object
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1277-1277
The number 4 argument of
Acceleration fn
is an
instance
of
directional attribute
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2316-2316
The number 1 argument of
account
is an
instance
of
financial asset
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4713-4713
The number 1 argument of
addition
is an
instance
of
real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4714-4714
The number 2 argument of
addition
is an
instance
of
real number
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 223-223
The number 1 argument of
address
is an
instance
of
computer file
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8870-8870
The number 1 argument of
afternoon of
is an
instance
of
day
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3056-3056
The number 1 argument of
agreement organization
is an
instance
of
agreement
No TPTP formula. May not be expressible in strict first order.
Music.kif 930-930
The number 1 argument of
album copies function
is an
instance
of
album
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7579-7579
The number 2 argument of
Amounts fn
is an
instance
of
corpuscular object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7580-7580
The number 3 argument of
Amounts fn
is an
instance
of
unit of mass
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5260-5260
The number 1 argument of
arccosine
is an
instance
of
real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5270-5270
The number 1 argument of
arcsine
is an
instance
of
real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5250-5250
The number 1 argument of
arctangent
is an
instance
of
real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 786-786
The number 1 argument of
assignment
is an
instance
of
function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 787-787
The number 2 argument of
assignment
is an
instance
of
entity
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
domain