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
domainSubclass
Sigma KEE - domainSubclass
domainSubclass
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1387-1389
No TPTP formula. May not be expressible in strict first order.
Merge.kif 232-235
No TPTP formula. May not be expressible in strict first order.
Merge.kif 229-229
The number 1 argument of
domain subclass
is an
instance
of
relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 230-230
The number 2 argument of
domain subclass
is an
instance
of
positive integer
No TPTP formula. May not be expressible in strict first order.
Merge.kif 231-231
The number 3 argument of
domain subclass
is an
instance
of
set or class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 228-228
domain subclass
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 293-293
No TPTP formula. May not be expressible in strict first order.
english_format.kif 301-301
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20050-20050
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 294-294
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20049-20049
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20048-20048
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2899-2904
If the number
a positive integer
argument of
a relation
is a
subclass
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 a
subclass
of
the set or class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 243-249
If the number
a positive integer
argument of
a relation
is a
subclass
of
a set or class
and the number
the positive integer
argument of
the relation
is a
subclass
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 426-431
If the number
a positive integer
argument of
a relation
is a
subclass
of
a set or class
and the number
the positive integer
argument of
another relation
is a
subclass
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.
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
consequent
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
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
WMD.kif 87-87
The number 1 argument of
AgentOfOrganismFn
is a
subclass
of
organism
No TPTP formula. May not be expressible in strict first order.
Music.kif 927-927
The number 2 argument of
album copies function
is a
subclass
of
DataStorageDevice
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 585-585
The number 2 argument of
cell part
is a
subclass
of
cell part
No TPTP formula. May not be expressible in strict first order.
Music.kif 1039-1039
The number 1 argument of
contest function
is a
subclass
of
contest
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 27941-27941
The number 1 argument of
CoveringFn
is a
subclass
of
body part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8063-8063
The number 2 argument of
day
is a
subclass
of
month
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 234-234
The number 1 argument of
DeadFn
is a
subclass
of
organism
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16052-16052
The number 2 argument of
department
is a
subclass
of
physical
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14374-14374
The number 1 argument of
edition
is a
subclass
of
content bearing object
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4434-4434
The number 1 argument of
FailureFn
is a
subclass
of
intentional process
No TPTP formula. May not be expressible in strict first order.
Food.kif 1090-1090
The number 1 argument of
FarmOfProductFn
is a
subclass
of
organism
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3726-3726
The number 2 argument of
fiscal year starting
is a
subclass
of
year
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13831-13831
The number 1 argument of
FoodForFn
is a
subclass
of
organism
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5216-5216
The number 1 argument of
generalized intersection
is a
subclass
of
set or class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5205-5205
The number 1 argument of
generalized union
is a
subclass
of
set or class
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6344-6344
The number 1 argument of
GeographicPartTypeFn
is a
subclass
of
geographic area
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8088-8088
The number 2 argument of
hour
is a
subclass
of
day
No TPTP formula. May not be expressible in strict first order.
Food.kif 595-595
The number 1 argument of
JuiceOfFn
is a
subclass
of
fruit or vegetable
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17038-17038
The number 1 argument of
MakingFn
is a
subclass
of
making
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8114-8114
The number 2 argument of
minute
is a
subclass
of
hour
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8045-8045
The number 1 argument of
month
is a
subclass
of
month
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8046-8046
The number 2 argument of
month
is a
subclass
of
year
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 1497-1497
The number 1 argument of
network communication function
is a
subclass
of
computer network
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12433-12433
The number 1 argument of
periodical issue
is a
subclass
of
periodical
No TPTP formula. May not be expressible in strict first order.
Music.kif 823-823
The number 1 argument of
PlayingInstrumentFn
is a
subclass
of
device
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
domainSubclass