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
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 233-236
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 45-47
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 49-52
No TPTP formula. May not be expressible in strict first order.
Merge.kif 230-230
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 231-231
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 232-232
The number 3 argument of
domain subclass
is an
instance
of
class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 229-229
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 298-298
No TPTP formula. May not be expressible in strict first order.
french_format.kif 169-169
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 84-84
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1989-1989
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 121-121
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 178-178
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 381-381
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 124-124
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 189-189
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 176-176
No TPTP formula. May not be expressible in strict first order.
relations-cb.txt 118-118
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20118-20118
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 20117-20117
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20116-20116
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 119-119
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 184-184
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3005-3010
If the number
a positive integer
argument of
a relation
is a
subclass
of
a 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 class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 244-250
If the number
a positive integer
argument of
a relation
is a
subclass
of
a class
and the number
the positive integer
argument of
the relation
is a
subclass
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 426-431
If the number
a positive integer
argument of
a relation
is a
subclass
of
a class
and the number
the positive integer
argument of
another relation
is a
subclass
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.
Merge.kif 238-242
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 class
,
then the number
the positive integer
argument of
the relation
is a
subclass
of
the class
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 238-242
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 class
,
then the number
the positive integer
argument of
the relation
is a
subclass
of
the 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
Agent of organism fn
is a
subclass
of
organism
No TPTP formula. May not be expressible in strict first order.
Music.kif 931-931
The number 2 argument of
album copies function
is a
subclass
of
data storage device
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7577-7577
The number 1 argument of
Amounts fn
is a
subclass
of
substance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1777-1777
The number 1 argument of
attr
is a
subclass
of
object
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6234-6234
The number 1 argument of
BodyAreaFn
is a
subclass
of
body part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14994-14994
The number 2 argument of
Body side fn
is a
subclass
of
body part
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 1168-1168
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 1047-1047
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 29713-29713
The number 1 argument of
Covering fn
is a
subclass
of
body part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8611-8611
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 115-115
The number 1 argument of
Dead fn
is a
subclass
of
organic object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18261-18261
The number 1 argument of
dead or missing body part fn
is a
subclass
of
body part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18323-18323
The number 2 argument of
department
is a
subclass
of
physical
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18394-18394
The number 2 argument of
Department of preventing fn
is a
subclass
of
process
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9978-9978
The number 1 argument of
edema
is a
subclass
of
body part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15530-15530
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 4514-4514
The number 1 argument of
failure fn
is a
subclass
of
intentional process
No TPTP formula. May not be expressible in strict first order.
Food.kif 3667-3667
The number 1 argument of
farm of product fn
is a
subclass
of
organism
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3724-3724
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 14880-14880
The number 1 argument of
food for fn
is a
subclass
of
organism
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5498-5498
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 5487-5487
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 6913-6913
The number 1 argument of
geographic part type fn
is a
subclass
of
geographic area
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8636-8636
The number 2 argument of
hour
is a
subclass
of
day
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18240-18240
The number 1 argument of
impaired body part fn
is a
subclass
of
body part
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