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
(
documentation
domainSubclass
ChineseLanguage
"这个
Predicate
是用来指定
Predicate
s 参数 类型的限制。 公式(
domainSubclass
?REL ?INT ?CLASS) 的意思是在?REL关系中,每个元组的第?INT个元素, 必须是?CLASS种的一个子类别。")
chinese_format.kif 1387-1389
(
documentation
domainSubclass
EnglishLanguage
"A
Predicate
that is used to specify argument type restrictions of
Predicate
s. The formula (
domainSubclass
?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be a subclass of ?CLASS.")
Merge.kif 231-234
(
domain
domainSubclass
1
Relation
)
Merge.kif 228-228
The number 1 argument of
domain subclass
is an
instance
of
relation
(
domain
domainSubclass
2
PositiveInteger
)
Merge.kif 229-229
The number 2 argument of
domain subclass
is an
instance
of
positive integer
(
domain
domainSubclass
3
Class
)
Merge.kif 230-230
The number 3 argument of
domain subclass
is an
instance
of
class
(
instance
domainSubclass
TernaryPredicate
)
Merge.kif 227-227
domain subclass
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
domainSubclass
"%1 的 %2 数量 %n 是 %3 的
subclass
")
chinese_format.kif 293-293
(
format
EnglishLanguage
domainSubclass
"the number %2 argument of %1 is %n a
subclass
of %3")
english_format.kif 298-298
(
termFormat
ChineseLanguage
domainSubclass
"域子类")
domainEnglishFormat.kif 20109-20109
(
termFormat
ChineseLanguage
domainSubclass
"子类别的定义域")
chinese_format.kif 294-294
(
termFormat
ChineseTraditionalLanguage
domainSubclass
"域子類")
domainEnglishFormat.kif 20108-20108
(
termFormat
EnglishLanguage
domainSubclass
"domain subclass")
domainEnglishFormat.kif 20107-20107
antecedent
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 2939-2944
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
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
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
(=>
(
and
(
domainSubclass
?REL1 ?NUMBER ?CLASS1)
(
domainSubclass
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
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
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
domainSubclass
?REL2 ?NUMBER ?CLASS1))
(
domainSubclass
?REL1 ?NUMBER ?CLASS1))
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
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
domainSubclass
?REL2 ?NUMBER ?CLASS1))
(
domainSubclass
?REL1 ?NUMBER ?CLASS1))
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
(
domainSubclass
AgentOfOrganismFn
1
Organism
)
WMD.kif 87-87
The number 1 argument of
AgentOfOrganismFn
is a
subclass
of
organism
(
domainSubclass
AlbumCopiesFn
2
DataStorageDevice
)
Music.kif 928-928
The number 2 argument of
album copies function
is a
subclass
of
DataStorageDevice
(
domainSubclass
AmountsFn
1
Substance
)
Merge.kif 7487-7487
The number 1 argument of
AmountsFn
is a
subclass
of
substance
(
domainSubclass
AttrFn
1
Object
)
Merge.kif 1723-1723
The number 1 argument of
attr
is a
subclass
of
object
(
domainSubclass
BodySideFn
2
BodyPart
)
Merge.kif 14708-14708
The number 2 argument of
BodySideFn
is a
subclass
of
body part
(
domainSubclass
CellPartFn
2
CellPart
)
VirusProteinAndCellPart.kif 656-656
The number 2 argument of
cell part
is a
subclass
of
cell part
(
domainSubclass
ContestFn
1
Contest
)
Music.kif 1040-1040
The number 1 argument of
contest function
is a
subclass
of
contest
(
domainSubclass
CoveringFn
1
BodyPart
)
Mid-level-ontology.kif 29137-29137
The number 1 argument of
CoveringFn
is a
subclass
of
body part
(
domainSubclass
DayFn
2
Month
)
Merge.kif 8497-8497
The number 2 argument of
day
is a
subclass
of
month
(
domainSubclass
DeadFn
1
Organism
)
Mid-level-ontology.kif 108-108
The number 1 argument of
DeadFn
is a
subclass
of
organism
(
domainSubclass
DeadOrMissingBodyPartFn
1
BodyPart
)
Merge.kif 17978-17978
The number 1 argument of
DeadOrMissingBodyPartFn
is a
subclass
of
body part
(
domainSubclass
DepartmentOfFn
2
Physical
)
Mid-level-ontology.kif 17734-17734
The number 2 argument of
department
is a
subclass
of
physical
(
domainSubclass
EdemaFn
1
BodyPart
)
Mid-level-ontology.kif 9551-9551
The number 1 argument of
edema
is a
subclass
of
body part
(
domainSubclass
EditionFn
1
ContentBearingObject
)
Merge.kif 15239-15239
The number 1 argument of
edition
is a
subclass
of
content bearing object
(
domainSubclass
FailureFn
1
IntentionalProcess
)
ComputingBrands.kif 4477-4477
The number 1 argument of
FailureFn
is a
subclass
of
intentional process
(
domainSubclass
FarmOfProductFn
1
Organism
)
Food.kif 1080-1080
The number 1 argument of
FarmOfProductFn
is a
subclass
of
organism
(
domainSubclass
FiscalYearStartingFn
2
Year
)
Economy.kif 3733-3733
The number 2 argument of
fiscal year starting
is a
subclass
of
year
(
domainSubclass
FoodForFn
1
Organism
)
Merge.kif 14594-14594
The number 1 argument of
FoodForFn
is a
subclass
of
organism
(
domainSubclass
GeneralizedIntersectionFn
1
SetOrClass
)
Merge.kif 5404-5404
The number 1 argument of
generalized intersection
is a
subclass
of
set or class
(
domainSubclass
GeneralizedUnionFn
1
SetOrClass
)
Merge.kif 5393-5393
The number 1 argument of
generalized union
is a
subclass
of
set or class
(
domainSubclass
GeographicPartTypeFn
1
GeographicArea
)
Geography.kif 6601-6601
The number 1 argument of
GeographicPartTypeFn
is a
subclass
of
geographic area
(
domainSubclass
HourFn
2
Day
)
Merge.kif 8522-8522
The number 2 argument of
hour
is a
subclass
of
day
(
domainSubclass
ImpairedBodyPartFn
1
BodyPart
)
Merge.kif 17958-17958
The number 1 argument of
ImpairedBodyPartFn
is a
subclass
of
body part
(
domainSubclass
ImpairmentFn
1
PhysiologicProcess
)
Merge.kif 13229-13229
The number 1 argument of
impairment
is a
subclass
of
physiologic process
(
domainSubclass
JuiceOfFn
1
FruitOrVegetable
)
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