Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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 231-234
No TPTP formula. May not be expressible in strict first order.
Merge.kif 228-228
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 229-229
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 230-230
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 227-227
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.
domainEnglishFormat.kif 20109-20109
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 20108-20108
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20107-20107
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2933-2938
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 242-248
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 424-429
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 236-240
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 236-240
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
AgentOfOrganismFn
is a
subclass
of
organism
No TPTP formula. May not be expressible in strict first order.
Music.kif 928-928
The number 2 argument of
album copies function
is a
subclass
of
DataStorageDevice
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7481-7481
The number 1 argument of
AmountsFn
is a
subclass
of
substance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1717-1717
The number 1 argument of
attr
is a
subclass
of
object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14702-14702
The number 2 argument of
BodySideFn
is a
subclass
of
body part
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 656-656
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 1040-1040
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 29133-29133
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 8491-8491
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 108-108
The number 1 argument of
DeadFn
is a
subclass
of
organism
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17972-17972
The number 1 argument of
DeadOrMissingBodyPartFn
is a
subclass
of
body part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17730-17730
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 9547-9547
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 15233-15233
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 4477-4477
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 1080-1080
The number 1 argument of
FarmOfProductFn
is a
subclass
of
organism
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3733-3733
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 14588-14588
The number 1 argument of
FoodForFn
is a
subclass
of
organism
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5398-5398
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 5387-5387
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 6601-6601
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 8516-8516
The number 2 argument of
hour
is a
subclass
of
day
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17952-17952
The number 1 argument of
ImpairedBodyPartFn
is a
subclass
of
body part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13223-13223
The number 1 argument of
impairment
is a
subclass
of
physiologic process
No TPTP formula. May not be expressible in strict first order.
Food.kif 577-577
The number 1 argument of
JuiceOfFn
is a
subclass
of
fruit or vegetable
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