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
subAttribute
Sigma KEE - subAttribute
subAttribute
appearance as argument number 1
(
disjointRelation
subAttribute
successorAttribute
)
Merge.kif 673-673
(
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 675-676
(
domain
subAttribute
1
Attribute
)
Merge.kif 671-671
(
domain
subAttribute
2
Attribute
)
Merge.kif 672-672
(
instance
subAttribute
BinaryPredicate
)
Merge.kif 669-669
(
instance
subAttribute
PartialOrderingRelation
)
Merge.kif 670-670
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
(
termFormat
ChineseLanguage
subAttribute
"子属性")
chinese_format.kif 318-318
(
termFormat
ChineseTraditionalLanguage
subAttribute
"子屬性")
domainEnglishFormat.kif 55670-55670
(
termFormat
EnglishLanguage
subAttribute
"sub attribute")
domainEnglishFormat.kif 55669-55669
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 4562-4570
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
(
GovernmentFn
?AGENT)
ReligiousOrganization
))
Government.kif 340-345
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
Organization
))
(
instance
?AGENT
ReligiousOrganization
))
Government.kif 333-338
(=>
(
and
(
governmentType
?PLACE ?TYPE)
(
instance
?PLACE
GeopoliticalArea
)
(
subAttribute
?TYPE
ParliamentaryGovernment
))
(
exists
(?ORG)
(
and
(
instance
?ORG
Parliament
)
(
subOrganization
?ORG
(
GovernmentFn
?PLACE)))))
Government.kif 244-252
(=>
(
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 4601-4609
(=>
(
and
(
organizationalObjective
?ORG ?AIM)
(
subAttribute
?AIM ?OVERAIM))
(
organizationalObjective
?ORG ?OVERAIM))
Government.kif 2587-2591
(=>
(
and
(
subAttribute
?ATTR1 ?ATTR2)
(
instance
?ATTR2 ?CLASS))
(
instance
?ATTR1 ?CLASS))
Merge.kif 685-689
(=>
(
subAttribute
?ATTR1 ?ATTR2)
(
forall
(?OBJ)
(=>
(
property
?OBJ ?ATTR1)
(
property
?OBJ ?ATTR2))))
Merge.kif 678-683
consequent
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE)
(
and
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4537-4543
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE)
(
and
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
diplomaticRepresentationType
?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4545-4551
(=>
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
))
Government.kif 4388-4390
appearance as argument number 0
(
subAttribute
AbrasiveProductManufacturing
OtherNonmetallicMineralProductManufacturing
)
naics.kif 3894-3894
(
subAttribute
AbruzzeseCuisine
ItalianCuisine
)
Dining.kif 1477-1477
(
subAttribute
AbsoluteMonarchy
AuthoritarianRegime
)
Government.kif 315-315
(
subAttribute
AbsoluteMonarchy
Monarchy
)
Government.kif 228-228
(
subAttribute
Accommodation
AccommodationAndFoodServices
)
naics.kif 11559-11559
(
subAttribute
AccountingTaxPreparationBookkeepingAndPayrollServices
ProfessionalScientificAndTechnicalServices
)
naics.kif 9900-9900
(
subAttribute
ActingConsulGeneral
ConsulGeneral
)
Government.kif 4420-4420
(
subAttribute
ActivitiesRelatedToCreditIntermediation
CreditIntermediationAndRelatedActivities
)
naics.kif 9289-9289
(
subAttribute
ActivitiesRelatedToRealEstate
RealEstateIndustry
)
naics.kif 9647-9647
(
subAttribute
Actor
Performer
)
Mid-level-ontology.kif 18159-18159
(
subAttribute
Actuary
Scientist
)
Biography.kif 120-120
(
subAttribute
AcuteBronchitis
Bronchitis
)
Mid-level-ontology.kif 5710-5710
(
subAttribute
AdhesiveManufacturing
PaintCoatingAndAdhesiveManufacturing
)
naics.kif 3387-3387
(
subAttribute
AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms
AdministrationOfEnvironmentalQualityPrograms
)
naics.kif 12355-12355
(
subAttribute
AdministrationOfConservationPrograms
AdministrationOfEnvironmentalQualityPrograms
)
naics.kif 12364-12364
(
subAttribute
AdministrationOfEconomicPrograms
PublicAdministration
)
naics.kif 12395-12395
(
subAttribute
AdministrationOfEducationPrograms
AdministrationOfHumanResourcePrograms
)
naics.kif 12317-12317
(
subAttribute
AdministrationOfEnvironmentalQualityPrograms
PublicAdministration
)
naics.kif 12348-12348
(
subAttribute
AdministrationOfGeneralEconomicPrograms
AdministrationOfEconomicPrograms
)
naics.kif 12401-12401
(
subAttribute
AdministrationOfHousingPrograms
AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
)
naics.kif 12379-12379
(
subAttribute
AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
PublicAdministration
)
naics.kif 12371-12371
(
subAttribute
AdministrationOfHumanResourcePrograms
PublicAdministration
)
naics.kif 12311-12311
(
subAttribute
AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms
AdministrationOfHumanResourcePrograms
)
naics.kif 12331-12331
(
subAttribute
AdministrationOfPublicHealthPrograms
AdministrationOfHumanResourcePrograms
)
naics.kif 12324-12324
(
subAttribute
AdministrationOfUrbanPlanningAndCommunityAndRuralDevelopment
AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
)
naics.kif 12386-12386
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