Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
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
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 205-213
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 202-202
The number 1 argument of
domain
is an
instance
of
relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 203-203
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 204-204
The number 3 argument of
domain
is an
instance
of
class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 201-201
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 20121-20121
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 20120-20120
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20119-20119
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 33332-33339
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
equal
the object
C and
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 3011-3016
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 215-221
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 412-417
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 18292-18296
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 180-184
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 180-184
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 3390-3400
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
equal
the entity
and
the other entity
,
then
equal
not
the function
(
the entity
) and not
the function
(
the other entity
)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3433-3443
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
equal
the function
(
the entity
and
the function
(
the other entity
and
the third entity
)) and
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 3453-3463
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
equal
the function
(
the entity
and
the other entity
) and
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 2510-2510
The number 1 argument of
aborted launch
is an
instance
of
agent
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2511-2511
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 1 argument of
aborted mission
is an
instance
of
agent
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2432-2432
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 4790-4790
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 2333-2333
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 4740-4740
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 4741-4741
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 224-224
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 8947-8947
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 3214-3214
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 932-932
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 7628-7628
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 7629-7629
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 5287-5287
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 5297-5297
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 5277-5277
The number 1 argument of
arctangent
is an
instance
of
real number
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