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
subAttribute
Sigma KEE - subAttribute
subAttribute
appearance as argument number 1
(
disjointRelation
subAttribute
successorAttribute
)
Merge.kif 684-684
sub attribute
and
successor attribute
are
disjoint
(
documentation
subAttribute
ChineseLanguage
"这意思是第二个参数的属性可以归因于所有第一个参数 所归因的属性。")
chinese_format.kif 1534-1535
(
documentation
subAttribute
EnglishLanguage
"Means that the second argument can be ascribed to everything which has the first argument ascribed to it.")
Merge.kif 686-687
(
documentation
subAttribute
JapaneseLanguage
"2番目の引数が、最初の引数が割り当てられているす べてのものに割り当てられる、という意味である。")
japanese_format.kif 100-101
(
documentation
subAttribute
SpanishLanguage
"Quiere decir que el segundo argumento puede ser atribuido a todo lo que se han sido atribuido al primer argumento.")
spanish_format.kif 117-118
(
domain
subAttribute
1
Attribute
)
Merge.kif 682-682
The number 1 argument of
sub attribute
is an
instance
of
attribute
(
domain
subAttribute
2
Attribute
)
Merge.kif 683-683
The number 2 argument of
sub attribute
is an
instance
of
attribute
(
instance
subAttribute
BinaryPredicate
)
Merge.kif 680-680
sub attribute
is an
instance
of
binary predicate
(
instance
subAttribute
PartialOrderingRelation
)
Merge.kif 681-681
sub attribute
is an
instance
of
partial ordering relation
appearance as argument number 2
(
format
ChineseLanguage
subAttribute
"%1 %n 是 %2 的
subAttribute
")
chinese_format.kif 317-317
(
format
EnglishLanguage
subAttribute
"%1 is %n a subattribute of %2")
english_format.kif 322-322
(
format
FrenchLanguage
subAttribute
"%1 est %n un sous-attribut de %2")
french_format.kif 181-181
(
format
ItalianLanguage
subAttribute
"%1 è %n un sottoattributo di %2")
relations-it.txt 270-270
(
format
JapaneseLanguage
subAttribute
"%1 は %2 の subattribute では %n")
japanese_format.kif 2001-2001
(
format
PortugueseLanguage
subAttribute
"%1 e' %n um sub-atributo de %2")
portuguese_format.kif 133-133
(
format
cz
subAttribute
"%1 %p{je} %n{nen�} a subattribute of %2")
relations-cz.txt 194-194
(
format
de
subAttribute
"%1 ist ein teilattribut von %2")
relations-de.txt 416-416
(
format
hi
subAttribute
"%1 %2 kii gauNa visheshhataa %n hai")
relations-hindi.txt 307-307
(
format
ro
subAttribute
"%1 %n{nu} este un subattribute%t{subatribut} al lui %2")
relations-ro.kif 201-201
(
format
sv
subAttribute
"%1 är %n{inte} ett underattribut till %2")
relations-sv.txt 191-191
(
format
tg
subAttribute
"%1 %n ay ang katangian mas tiyak ng %2")
relations-tg.txt 462-462
(
termFormat
ChineseLanguage
subAttribute
"子属性")
chinese_format.kif 318-318
(
termFormat
ChineseTraditionalLanguage
subAttribute
"子屬性")
domainEnglishFormat.kif 55703-55703
(
termFormat
EnglishLanguage
subAttribute
"sub attribute")
domainEnglishFormat.kif 55702-55702
antecedent
(=>
(
and
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE ?COUNTRY2)
(
subAttribute
?ROLE
DiplomaticAgent
))
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
citizen
?PERSON ?COUNTRY1)
(
diplomaticRepresentativeInRole
?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))
Government.kif 4582-4590
If
a nation
diplomatic
representation type
a position
for
an agent
and
the position
is a
subattribute
of
diplomatic agent
,
then there exists
a human
such that
the human
is an
instance
of
human
and
the human
is a
citizen
of
the nation
and
the nation
is
diplomatic
representative in role
the human
for
the position
with
the agent
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
(
GovernmentFn
?AGENT)
ReligiousOrganization
))
Government.kif 352-357
If
a form of government
is a
government
type of
a geopolitical area
and
the form of government
is a
subattribute
of
theocratic government
and
the geopolitical area
is an
instance
of
geopolitical area
,
then the
government
of
the geopolitical area
is an
instance
of
religious organization
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
Organization
))
(
instance
?AGENT
ReligiousOrganization
))
Government.kif 345-350
If
a form of government
is a
government
type of
an agent
and
the form of government
is a
subattribute
of
theocratic government
and
the agent
is an
instance
of
organization
,
then
the agent
is an
instance
of
religious organization
(=>
(
and
(
governmentType
?PLACE ?TYPE)
(
instance
?PLACE
GeopoliticalArea
)
(
subAttribute
?TYPE
ParliamentaryGovernment
))
(
exists
(?ORG)
(
and
(
instance
?ORG
Parliament
)
(
subOrganization
?ORG
(
GovernmentFn
?PLACE)))))
Government.kif 256-264
If
a form of government
is a
government
type of
a geopolitical area
and
the geopolitical area
is an
instance
of
geopolitical area
and
the form of government
is a
subattribute
of
parliamentary government
,
then there exists
an organization
such that
the organization
is an
instance
of
parliament
and
the organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
instance
?SENDER
Nation
)
(
instance
?RECEIVER
Nation
)
(
instance
?PERSON
Human
)
(
attribute
?PERSON ?ROLE)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
representativeAgentToAgent
?SENDER ?PERSON ?RECEIVER))
(
diplomaticRepresentationType
?SENDER ?ROLE ?RECEIVER))
Government.kif 4621-4629
If
an agent
is an
instance
of
nation
and
another agent
is an
instance
of
nation
and
a third agent
is an
instance
of
human
and
a position
is an
attribute
of
the third agent
and
the position
is a
subattribute
of
diplomatic agent
and
the agent
is
representative
agent to agent
the third agent
for
the other agent
,
then
the agent
diplomatic
representation type
the position
for
the other agent
(=>
(
and
(
organizationalObjective
?ORG ?AIM)
(
subAttribute
?AIM ?OVERAIM))
(
organizationalObjective
?ORG ?OVERAIM))
Government.kif 2602-2606
If
an area of concern
is an
organizational
objective of
an agent
and
the area of concern
is a
subattribute
of
another area of concern
,
then
the other area of concern
is an
organizational
objective of
the agent
(=>
(
and
(
subAttribute
?ATTR1 ?ATTR2)
(
instance
?ATTR2 ?CLASS))
(
instance
?ATTR1 ?CLASS))
Merge.kif 696-700
If
an attribute
is a
subattribute
of
another attribute
and
the other attribute
is an
instance
of
a class
,
then
the attribute
is an
instance
of
the class
(=>
(
subAttribute
?ATTR1 ?ATTR2)
(
forall
(?OBJ)
(=>
(
property
?OBJ ?ATTR1)
(
property
?OBJ ?ATTR2))))
Merge.kif 689-694
If
an attribute
is a
subattribute
of
another attribute
,
then for all
an entity
if
the entity
the
attribute
the attribute
,
then
the entity
the
attribute
the other attribute
consequent
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE)
(
and
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4557-4563
If
a geopolitical area
is a
diplomatic
relations of
another geopolitical area
,
then there exists
a position
such that
the position
is an
instance
of
foreign service position
and
the position
is a
subattribute
of
diplomatic agent
and
the other geopolitical area
diplomatic
representation type
the position
for
the geopolitical area
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE)
(
and
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
diplomaticRepresentationType
?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4565-4571
If
a geopolitical area
is a
diplomatic
relations of
another geopolitical area
,
then there exists
a position
such that
the position
is an
instance
of
foreign service position
and
the position
is a
subattribute
of
diplomatic agent
and
the geopolitical area
diplomatic
representation type
the position
for
the other geopolitical area
(=>
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
))
Government.kif 4408-4410
If
an attribute
is an
instance
of
foreign service position
,
then
the attribute
is a
subattribute
of
diplomatic agent
appearance as argument number 0
(
subAttribute
AONOrder
FinancialOrder
)
FinancialOntology.kif 2912-2912
AON order
is a
subattribute
of
financial order
(
subAttribute
AbrasiveProductManufacturing
OtherNonmetallicMineralProductManufacturing
)
naics.kif 3894-3894
Abrasive product manufacturing
is a
subattribute
of
other nonmetallic mineral product manufacturing
(
subAttribute
AbruzzeseCuisine
ItalianCuisine
)
Dining.kif 1524-1524
Abruzzese Cuisine
is a
subattribute
of
Italian Cuisine
(
subAttribute
AbsoluteMonarchy
AuthoritarianRegime
)
Government.kif 327-327
Absolute monarchy
is a
subattribute
of
authoritarian regime
(
subAttribute
AbsoluteMonarchy
Monarchy
)
Government.kif 240-240
Absolute monarchy
is a
subattribute
of
monarchy
(
subAttribute
Accommodation
AccommodationAndFoodServices
)
naics.kif 11559-11559
Accommodation
is a
subattribute
of
accommodation and food services
(
subAttribute
AccountingTaxPreparationBookkeepingAndPayrollServices
ProfessionalScientificAndTechnicalServices
)
naics.kif 9900-9900
Accounting tax preparation bookkeeping and payroll services
is a
subattribute
of
professional scientific and technical services
(
subAttribute
ActingConsulGeneral
ConsulGeneral
)
Government.kif 4440-4440
Acting consul general
is a
subattribute
of
consul general
(
subAttribute
ActivitiesRelatedToCreditIntermediation
CreditIntermediationAndRelatedActivities
)
naics.kif 9289-9289
Activities related to credit intermediation
is a
subattribute
of
credit intermediation and related activities
(
subAttribute
ActivitiesRelatedToRealEstate
RealEstateIndustry
)
naics.kif 9647-9647
Activities related to real estate
is a
subattribute
of
real estate industry
(
subAttribute
Actor
Performer
)
Mid-level-ontology.kif 18754-18754
Actor
is a
subattribute
of
performer
(
subAttribute
Actuary
Scientist
)
Biography.kif 353-353
Actuary
is a
subattribute
of
scientist
(
subAttribute
AcuteBronchitis
Bronchitis
)
Mid-level-ontology.kif 6002-6002
Acute bronchitis
is a
subattribute
of
bronchitis
(
subAttribute
AdhesiveManufacturing
PaintCoatingAndAdhesiveManufacturing
)
naics.kif 3387-3387
Adhesive manufacturing
is a
subattribute
of
paint coating and adhesive manufacturing
(
subAttribute
AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms
AdministrationOfEnvironmentalQualityPrograms
)
naics.kif 12355-12355
Administration of air and water resource and solid waste management programs
is a
subattribute
of
administration of environmental quality programs
(
subAttribute
AdministrationOfConservationPrograms
AdministrationOfEnvironmentalQualityPrograms
)
naics.kif 12364-12364
Administration of conservation programs
is a
subattribute
of
administration of environmental quality programs
(
subAttribute
AdministrationOfEconomicPrograms
PublicAdministration
)
naics.kif 12395-12395
Administration of economic programs
is a
subattribute
of
public administration
(
subAttribute
AdministrationOfEducationPrograms
AdministrationOfHumanResourcePrograms
)
naics.kif 12317-12317
Administration of education programs
is a
subattribute
of
administration of human resource programs
(
subAttribute
AdministrationOfEnvironmentalQualityPrograms
PublicAdministration
)
naics.kif 12348-12348
Administration of environmental quality programs
is a
subattribute
of
public administration
(
subAttribute
AdministrationOfGeneralEconomicPrograms
AdministrationOfEconomicPrograms
)
naics.kif 12401-12401
Administration of general economic programs
is a
subattribute
of
administration of economic programs
(
subAttribute
AdministrationOfHousingPrograms
AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
)
naics.kif 12379-12379
Administration of housing programs
is a
subattribute
of
administration of housing programs urban planning and community development
(
subAttribute
AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
PublicAdministration
)
naics.kif 12371-12371
Administration of housing programs urban planning and community development
is a
subattribute
of
public administration
(
subAttribute
AdministrationOfHumanResourcePrograms
PublicAdministration
)
naics.kif 12311-12311
Administration of human resource programs
is a
subattribute
of
public administration
(
subAttribute
AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms
AdministrationOfHumanResourcePrograms
)
naics.kif 12331-12331
Administration of human resource programs except education public health and veterans affairs programs
is a
subattribute
of
administration of human resource programs
(
subAttribute
AdministrationOfPublicHealthPrograms
AdministrationOfHumanResourcePrograms
)
naics.kif 12324-12324
Administration of public health programs
is a
subattribute
of
administration of human resource programs
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
