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
不相交的關係
子屬性
and
繼承屬性
(
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
域
子屬性
, 1 and
Attribute
(
domain
subAttribute
2
Attribute
)
Merge.kif 683-683
域
子屬性
, 2 and
Attribute
(
instance
subAttribute
BinaryPredicate
)
Merge.kif 680-680
例
子屬性
and
BinaryPredicate
(
instance
subAttribute
PartialOrderingRelation
)
Merge.kif 681-681
例
子屬性
and
PartialOrderingRelation
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
%
Nation
%3
子屬性
Position
and
外交代表
Human
例
Human
and
Human
公民
Human
and
Nation
Nation
是 對於
Position
和
AutonomousAgent
的外交代表在角色
Human
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
(
GovernmentFn
?AGENT)
ReligiousOrganization
))
Government.kif 352-357
%2 是 1% 的
government
類別
子屬性
政體
and
神權政府
例
GeopoliticalArea
and
GeopoliticalArea
例
政府
GeopoliticalArea
and
ReligiousOrganization
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
Organization
))
(
instance
?AGENT
ReligiousOrganization
))
Government.kif 345-350
%2 是 1% 的
government
類別
子屬性
政體
and
神權政府
例
AutonomousAgent
and
Organization
例
AutonomousAgent
and
ReligiousOrganization
(=>
(
and
(
governmentType
?PLACE ?TYPE)
(
instance
?PLACE
GeopoliticalArea
)
(
subAttribute
?TYPE
ParliamentaryGovernment
))
(
exists
(?ORG)
(
and
(
instance
?ORG
Parliament
)
(
subOrganization
?ORG
(
GovernmentFn
?PLACE)))))
Government.kif 256-264
%2 是 1% 的
government
類別
例
GeopoliticalArea
and
GeopoliticalArea
子屬性
政體
and
議會政府
Organization
例
Organization
and
議會
子組織
Organization
and
政府
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
例
AutonomousAgent
and
Nation
例
AutonomousAgent
and
Nation
例
AutonomousAgent
and
Human
attribute
AutonomousAgent
and
Position
子屬性
Position
and
外交代表
%1 是 對於 %3 給代理 %2 的
representative
代理
%
AutonomousAgent
%3
(=>
(
and
(
organizationalObjective
?ORG ?AIM)
(
subAttribute
?AIM ?OVERAIM))
(
organizationalObjective
?ORG ?OVERAIM))
Government.kif 2566-2570
關注的區域
是
AutonomousAgent
的
organizational
目標
子屬性
關注的區域
and
關注的區域
關注的區域
是
AutonomousAgent
的
organizational
目標
(=>
(
and
(
subAttribute
?ATTR1 ?ATTR2)
(
instance
?ATTR2 ?CLASS))
(
instance
?ATTR1 ?CLASS))
Merge.kif 696-700
子屬性
Attribute
and
Attribute
例
Attribute
and
Class
例
Attribute
and
Class
(=>
(
subAttribute
?ATTR1 ?ATTR2)
(
forall
(?OBJ)
(=>
(
property
?OBJ ?ATTR1)
(
property
?OBJ ?ATTR2))))
Merge.kif 689-694
子屬性
Attribute
and
Attribute
Entity
屬性
Entity
and
Attribute
屬性
Entity
and
Attribute
consequent
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE)
(
and
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4521-4527
GeopoliticalArea
是
GeopoliticalArea
的外交關西
Position
例
Position
and
外國服務職位
子屬性
Position
and
外交代表
%
GeopoliticalArea
%3
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE)
(
and
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
diplomaticRepresentationType
?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4529-4535
GeopoliticalArea
是
GeopoliticalArea
的外交關西
Position
例
Position
and
外國服務職位
子屬性
Position
and
外交代表
%
GeopoliticalArea
%3
(=>
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
))
Government.kif 4372-4374
例
Attribute
and
外國服務職位
子屬性
Attribute
and
外交代表
appearance as argument number 0
(
subAttribute
AONOrder
FinancialOrder
)
FinancialOntology.kif 2899-2899
子屬性
AON 訂單
and
金融秩序
(
subAttribute
AbrasiveProductManufacturing
OtherNonmetallicMineralProductManufacturing
)
naics.kif 3894-3894
子屬性
磨料產品製造
and
其他非金屬礦產品製造
(
subAttribute
AbruzzeseCuisine
ItalianCuisine
)
Dining.kif 1524-1524
子屬性
AbruzzeseCuisine
and
ItalianCuisine
(
subAttribute
AbsoluteMonarchy
AuthoritarianRegime
)
Government.kif 327-327
子屬性
絕對君主制
and
威權政權
(
subAttribute
AbsoluteMonarchy
Monarchy
)
Government.kif 240-240
子屬性
絕對君主制
and
帝制
(
subAttribute
Accommodation
AccommodationAndFoodServices
)
naics.kif 11559-11559
子屬性
住所
and
住宿和餐飲服務
(
subAttribute
AccountingTaxPreparationBookkeepingAndPayrollServices
ProfessionalScientificAndTechnicalServices
)
naics.kif 9900-9900
子屬性
會計稅務準備簿記和工資單服務
and
專業的科技服務
(
subAttribute
ActingConsulGeneral
ConsulGeneral
)
Government.kif 4404-4404
子屬性
代理總領事
and
總領事
(
subAttribute
ActivitiesRelatedToCreditIntermediation
CreditIntermediationAndRelatedActivities
)
naics.kif 9289-9289
子屬性
與信貸中介有關的活動
and
信貸中介及相關活動
(
subAttribute
ActivitiesRelatedToRealEstate
RealEstateIndustry
)
naics.kif 9647-9647
子屬性
與房地產有關的活動
and
RealEstateIndustry
(
subAttribute
Actor
Performer
)
Mid-level-ontology.kif 18835-18835
子屬性
Actor
and
Performer
(
subAttribute
Actuary
Scientist
)
Biography.kif 353-353
子屬性
精算師
and
Scientist
(
subAttribute
AcuteBronchitis
Bronchitis
)
Mid-level-ontology.kif 6024-6024
子屬性
AcuteBronchitis
and
Bronchitis
(
subAttribute
AdhesiveManufacturing
PaintCoatingAndAdhesiveManufacturing
)
naics.kif 3387-3387
子屬性
膠粘劑製造
and
油漆塗料和膠粘劑製造
(
subAttribute
AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms
AdministrationOfEnvironmentalQualityPrograms
)
naics.kif 12355-12355
子屬性
管理空氣和水資源以及固體廢物管理計劃
and
管理環境品質計劃
(
subAttribute
AdministrationOfConservationPrograms
AdministrationOfEnvironmentalQualityPrograms
)
naics.kif 12364-12364
子屬性
管理保護計劃
and
管理環境品質計劃
(
subAttribute
AdministrationOfEconomicPrograms
PublicAdministration
)
naics.kif 12395-12395
子屬性
管理經濟計劃
and
公共行政
(
subAttribute
AdministrationOfEducationPrograms
AdministrationOfHumanResourcePrograms
)
naics.kif 12317-12317
子屬性
管理教育計劃
and
管理人力資源計劃
(
subAttribute
AdministrationOfEnvironmentalQualityPrograms
PublicAdministration
)
naics.kif 12348-12348
子屬性
管理環境品質計劃
and
公共行政
(
subAttribute
AdministrationOfGeneralEconomicPrograms
AdministrationOfEconomicPrograms
)
naics.kif 12401-12401
子屬性
一般經濟計劃的管理
and
管理經濟計劃
(
subAttribute
AdministrationOfHousingPrograms
AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
)
naics.kif 12379-12379
子屬性
住房計劃管理
and
住房計劃管理城市規劃和社區發展
(
subAttribute
AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
PublicAdministration
)
naics.kif 12371-12371
子屬性
住房計劃管理城市規劃和社區發展
and
公共行政
(
subAttribute
AdministrationOfHumanResourcePrograms
PublicAdministration
)
naics.kif 12311-12311
子屬性
管理人力資源計劃
and
公共行政
(
subAttribute
AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms
AdministrationOfHumanResourcePrograms
)
naics.kif 12331-12331
子屬性
除教育公共衛生和退伍軍人事務計劃外的人力資源計劃管理
and
管理人力資源計劃
(
subAttribute
AdministrationOfPublicHealthPrograms
AdministrationOfHumanResourcePrograms
)
naics.kif 12324-12324
子屬性
管理公共衛生計劃
and
管理人力資源計劃
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