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
subAttribute
und
successorAttribute
werden
disjunkt
(
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
Die Zahl 1 Argument von
subAttribute
ist ein
fall
von
Attribute
%n{nicht}
(
domain
subAttribute
2
Attribute
)
Merge.kif 683-683
Die Zahl 2 Argument von
subAttribute
ist ein
fall
von
Attribute
%n{nicht}
(
instance
subAttribute
BinaryPredicate
)
Merge.kif 680-680
subAttribute
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
subAttribute
PartialOrderingRelation
)
Merge.kif 681-681
subAttribute
ist ein
fall
von
PartialOrderingRelation
%n{nicht}
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 55693-55693
(
termFormat
EnglishLanguage
subAttribute
"sub attribute")
domainEnglishFormat.kif 55692-55692
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 4546-4554
Wenn
diplomaticRepresentationType
Nation
,
Position
and
AutonomousAgent
und
** Position
ist ein
teilattribut
von
DiplomaticAgent
,
dann es gibt
Human
um
** Human
ist ein
fall
von
Human
%n{nicht} und
** Human
ist der
buerger
von
** Nation
und
diplomaticRepresentativeInRole
** Nation
,
** Human
,
** Position
and
** AutonomousAgent
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
(
GovernmentFn
?AGENT)
ReligiousOrganization
))
Government.kif 352-357
Wenn
governmentType
GeopoliticalArea
and
FormOfGovernment
und
** FormOfGovernment
ist ein
teilattribut
von
TheocraticGovernment
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
GovernmentFn
** GeopoliticalArea
ist ein
fall
von
ReligiousOrganization
%n{nicht}
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
Organization
))
(
instance
?AGENT
ReligiousOrganization
))
Government.kif 345-350
Wenn
governmentType
AutonomousAgent
and
FormOfGovernment
und
** FormOfGovernment
ist ein
teilattribut
von
TheocraticGovernment
und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht},
dann
** AutonomousAgent
ist ein
fall
von
ReligiousOrganization
%n{nicht}
(=>
(
and
(
governmentType
?PLACE ?TYPE)
(
instance
?PLACE
GeopoliticalArea
)
(
subAttribute
?TYPE
ParliamentaryGovernment
))
(
exists
(?ORG)
(
and
(
instance
?ORG
Parliament
)
(
subOrganization
?ORG
(
GovernmentFn
?PLACE)))))
Government.kif 256-264
Wenn
governmentType
GeopoliticalArea
and
FormOfGovernment
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** FormOfGovernment
ist ein
teilattribut
von
ParliamentaryGovernment
,
dann es gibt
Organization
um
** Organization
ist ein
fall
von
Parliament
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
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 4585-4593
Wenn
AutonomousAgent
ist ein
fall
von
Nation
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Nation
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Position
ist ein
attribut
von
** ** AutonomousAgent
%n{nicht} und
** Position
ist ein
teilattribut
von
DiplomaticAgent
und
representativeAgentToAgent
** AutonomousAgent
,
** ** AutonomousAgent
and
** ** AutonomousAgent
,
dann
diplomaticRepresentationType
** AutonomousAgent
,
** Position
and
** ** AutonomousAgent
(=>
(
and
(
organizationalObjective
?ORG ?AIM)
(
subAttribute
?AIM ?OVERAIM))
(
organizationalObjective
?ORG ?OVERAIM))
Government.kif 2566-2570
Wenn
organizationalObjective
AutonomousAgent
and
AreaOfConcern
und
** AreaOfConcern
ist ein
teilattribut
von
** AreaOfConcern
,
dann
organizationalObjective
** AutonomousAgent
and
** ** AreaOfConcern
(=>
(
and
(
subAttribute
?ATTR1 ?ATTR2)
(
instance
?ATTR2 ?CLASS))
(
instance
?ATTR1 ?CLASS))
Merge.kif 696-700
Wenn
Attribute
ist ein
teilattribut
von
** Attribute
und
** ** Attribute
ist ein
fall
von
Class
%n{nicht},
dann
** Attribute
ist ein
fall
von
** Class
%n{nicht}
(=>
(
subAttribute
?ATTR1 ?ATTR2)
(
forall
(?OBJ)
(=>
(
property
?OBJ ?ATTR1)
(
property
?OBJ ?ATTR2))))
Merge.kif 689-694
Wenn
Attribute
ist ein
teilattribut
von
** Attribute
,
dann fuer alle
Entity
wenn
** Entity
hat ein
attribut
** Attribute
%n{nicht},
dann
** Entity
hat ein
attribut
** ** Attribute
%n{nicht}
consequent
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE)
(
and
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4521-4527
Wenn
diplomaticRelations
GeopoliticalArea
and
** GeopoliticalArea
,
dann es gibt
Position
um
** Position
ist ein
fall
von
ForeignServicePosition
%n{nicht} und
** Position
ist ein
teilattribut
von
DiplomaticAgent
und
diplomaticRepresentationType
** GeopoliticalArea
,
** Position
and
** ** GeopoliticalArea
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE)
(
and
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
diplomaticRepresentationType
?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4529-4535
Wenn
diplomaticRelations
GeopoliticalArea
and
** GeopoliticalArea
,
dann es gibt
Position
um
** Position
ist ein
fall
von
ForeignServicePosition
%n{nicht} und
** Position
ist ein
teilattribut
von
DiplomaticAgent
und
diplomaticRepresentationType
** ** GeopoliticalArea
,
** Position
and
** GeopoliticalArea
(=>
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
))
Government.kif 4372-4374
Wenn
Attribute
ist ein
fall
von
ForeignServicePosition
%n{nicht},
dann
** Attribute
ist ein
teilattribut
von
DiplomaticAgent
appearance as argument number 0
(
subAttribute
AONOrder
FinancialOrder
)
FinancialOntology.kif 2899-2899
AONOrder
ist ein
teilattribut
von
FinancialOrder
(
subAttribute
AbrasiveProductManufacturing
OtherNonmetallicMineralProductManufacturing
)
naics.kif 3894-3894
AbrasiveProductManufacturing
ist ein
teilattribut
von
OtherNonmetallicMineralProductManufacturing
(
subAttribute
AbruzzeseCuisine
ItalianCuisine
)
Dining.kif 1524-1524
AbruzzeseCuisine
ist ein
teilattribut
von
ItalianCuisine
(
subAttribute
AbsoluteMonarchy
AuthoritarianRegime
)
Government.kif 327-327
AbsoluteMonarchy
ist ein
teilattribut
von
AuthoritarianRegime
(
subAttribute
AbsoluteMonarchy
Monarchy
)
Government.kif 240-240
AbsoluteMonarchy
ist ein
teilattribut
von
Monarchy
(
subAttribute
Accommodation
AccommodationAndFoodServices
)
naics.kif 11559-11559
Accommodation
ist ein
teilattribut
von
AccommodationAndFoodServices
(
subAttribute
AccountingTaxPreparationBookkeepingAndPayrollServices
ProfessionalScientificAndTechnicalServices
)
naics.kif 9900-9900
AccountingTaxPreparationBookkeepingAndPayrollServices
ist ein
teilattribut
von
ProfessionalScientificAndTechnicalServices
(
subAttribute
ActingConsulGeneral
ConsulGeneral
)
Government.kif 4404-4404
ActingConsulGeneral
ist ein
teilattribut
von
ConsulGeneral
(
subAttribute
ActivitiesRelatedToCreditIntermediation
CreditIntermediationAndRelatedActivities
)
naics.kif 9289-9289
ActivitiesRelatedToCreditIntermediation
ist ein
teilattribut
von
CreditIntermediationAndRelatedActivities
(
subAttribute
ActivitiesRelatedToRealEstate
RealEstateIndustry
)
naics.kif 9647-9647
ActivitiesRelatedToRealEstate
ist ein
teilattribut
von
RealEstateIndustry
(
subAttribute
Actor
Performer
)
Mid-level-ontology.kif 18835-18835
Actor
ist ein
teilattribut
von
Performer
(
subAttribute
Actuary
Scientist
)
Biography.kif 353-353
Actuary
ist ein
teilattribut
von
Scientist
(
subAttribute
AcuteBronchitis
Bronchitis
)
Mid-level-ontology.kif 6024-6024
AcuteBronchitis
ist ein
teilattribut
von
Bronchitis
(
subAttribute
AdhesiveManufacturing
PaintCoatingAndAdhesiveManufacturing
)
naics.kif 3387-3387
AdhesiveManufacturing
ist ein
teilattribut
von
PaintCoatingAndAdhesiveManufacturing
(
subAttribute
AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms
AdministrationOfEnvironmentalQualityPrograms
)
naics.kif 12355-12355
AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms
ist ein
teilattribut
von
AdministrationOfEnvironmentalQualityPrograms
(
subAttribute
AdministrationOfConservationPrograms
AdministrationOfEnvironmentalQualityPrograms
)
naics.kif 12364-12364
AdministrationOfConservationPrograms
ist ein
teilattribut
von
AdministrationOfEnvironmentalQualityPrograms
(
subAttribute
AdministrationOfEconomicPrograms
PublicAdministration
)
naics.kif 12395-12395
AdministrationOfEconomicPrograms
ist ein
teilattribut
von
PublicAdministration
(
subAttribute
AdministrationOfEducationPrograms
AdministrationOfHumanResourcePrograms
)
naics.kif 12317-12317
AdministrationOfEducationPrograms
ist ein
teilattribut
von
AdministrationOfHumanResourcePrograms
(
subAttribute
AdministrationOfEnvironmentalQualityPrograms
PublicAdministration
)
naics.kif 12348-12348
AdministrationOfEnvironmentalQualityPrograms
ist ein
teilattribut
von
PublicAdministration
(
subAttribute
AdministrationOfGeneralEconomicPrograms
AdministrationOfEconomicPrograms
)
naics.kif 12401-12401
AdministrationOfGeneralEconomicPrograms
ist ein
teilattribut
von
AdministrationOfEconomicPrograms
(
subAttribute
AdministrationOfHousingPrograms
AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
)
naics.kif 12379-12379
AdministrationOfHousingPrograms
ist ein
teilattribut
von
AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
(
subAttribute
AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
PublicAdministration
)
naics.kif 12371-12371
AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
ist ein
teilattribut
von
PublicAdministration
(
subAttribute
AdministrationOfHumanResourcePrograms
PublicAdministration
)
naics.kif 12311-12311
AdministrationOfHumanResourcePrograms
ist ein
teilattribut
von
PublicAdministration
(
subAttribute
AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms
AdministrationOfHumanResourcePrograms
)
naics.kif 12331-12331
AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms
ist ein
teilattribut
von
AdministrationOfHumanResourcePrograms
(
subAttribute
AdministrationOfPublicHealthPrograms
AdministrationOfHumanResourcePrograms
)
naics.kif 12324-12324
AdministrationOfPublicHealthPrograms
ist ein
teilattribut
von
AdministrationOfHumanResourcePrograms
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