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
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 209-217
No TPTP formula. May not be expressible in strict first order.
Merge.kif 206-206
The number 1 argument of
domain
is an
instance
of
relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 207-207
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 208-208
The number 3 argument of
domain
is an
instance
of
set or class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 205-205
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 299-299
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20035-20035
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 20034-20034
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20033-20033
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2887-2892
If the number
a positive integer
argument of
a relation
is an
instance
of
a set or 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 set or class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 219-225
If the number
a positive integer
argument of
a relation
is an
instance
of
a set or class
and the number
the positive integer
argument of
the relation
is an
instance
of
another set or class
,
then
the set or class
is a
subclass
of
the other set or class
or
the other set or class
is a
subclass
of
the set or class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 418-423
If the number
a positive integer
argument of
a relation
is an
instance
of
a set or class
and the number
the positive integer
argument of
another relation
is an
instance
of
another set or class
and
the set or class
is
disjoint
from
the other set or 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 14486-14490
If
a relation
is an
instance
of
economic relation
and the number 1 argument of
the relation
is an
instance
of
a set or class
,
then
the set or class
is a
subclass
of
geopolitical area
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
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2111-2128
A relation
is an
instance
of
total valued relation
and
the relation
is an
instance
of
predicate
if and only if there exists
a positive integer
such that
the relation
is an
instance
of
relation
and
the relation
%&has
the positive integer
argument
(s) and
if for all
another positive integer
,
an entity
and
a set or class
if
the other positive integer
is
less
than
the positive integer
and the number
the other positive integer
argument of
the relation
is an
instance
of
the set or class
and
the entity
is
equal
to
the other positive integer
th
element
of (@ROW),
then
the entity
is an
instance
of
the set or class
,
then there exists
a fourth entity
such that
the relation
@ROW and
the fourth entity
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 3253-3262
If
a function
is an
instance
of
one to one function
,
then for all
an entity
and
another entity
if the number 1 argument of
the function
is an
instance
of
a set or class
and
the entity
is an
instance
of
the set or class
and
the other entity
is an
instance
of
the set or 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 3295-3305
If
a function
is an
instance
of
associative function
,
then for all
an entity
,
another entity
and
a third entity
if the number 1 argument of
the function
is an
instance
of
a set or class
and
the entity
is an
instance
of
the set or class
and
the other entity
is an
instance
of
the set or class
and
the third entity
is an
instance
of
the set or 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 3315-3324
If
a function
is an
instance
of
commutative function
,
then for all
an entity
and
another entity
if the number 1 argument of
the function
is an
instance
of
a set or class
and
the entity
is an
instance
of
the set or class
and
the other entity
is an
instance
of
the set or 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 3430-3430
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 3473-3473
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 2391-2391
The number 1 argument of
aborted
is an
instance
of
agent
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2392-2392
The number 2 argument of
aborted
is an
instance
of
process
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2457-2457
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 2411-2411
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 4572-4572
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 1275-1275
The number 1 argument of
AccelerationFn
is an
instance
of
function quantity
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1276-1276
The number 2 argument of
AccelerationFn
is an
instance
of
time duration
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1277-1277
The number 3 argument of
AccelerationFn
is an
instance
of
object
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1278-1278
The number 4 argument of
AccelerationFn
is an
instance
of
directional attribute
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2246-2246
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 4522-4522
The number 1 argument of
addition
is an
instance
of
quantity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4523-4523
The number 2 argument of
addition
is an
instance
of
quantity
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 221-221
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 8288-8288
The number 1 argument of
AfternoonFn
is an
instance
of
day
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2915-2915
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 926-926
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 751-751
The number 1 argument of
assignment
is an
instance
of
function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 752-752
The number 2 argument of
assignment
is an
instance
of
entity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1681-1681
The number 1 argument of
attr
is an
instance
of
set or class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1682-1682
The number 2 argument of
attr
is an
instance
of
attribute
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3395-3395
The number 1 argument of
gross merchandise bought in auctions
is an
instance
of
collection
No TPTP formula. May not be expressible in strict first order.
Military.kif 860-860
The number 1 argument of
available for military service male
is an
instance
of
geopolitical area
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3155-3155
The number 1 argument of
average function
is an
instance
of
list
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