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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 684-684
subAttribute
e
successorAttribute
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1534-1535
No TPTP formula. May not be expressible in strict first order.
Merge.kif 686-687
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 100-101
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 117-118
No TPTP formula. May not be expressible in strict first order.
Merge.kif 682-682
O argumento numero 1 de
subAttribute
e' uma
instancia
de
Atributo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 683-683
O argumento numero 2 de
subAttribute
e' uma
instancia
de
Atributo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 680-680
subAttribute
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Merge.kif 681-681
subAttribute
e' uma
instancia
de
Relacao parcialmente Ordenada
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 317-317
No TPTP formula. May not be expressible in strict first order.
english_format.kif 322-322
No TPTP formula. May not be expressible in strict first order.
french_format.kif 181-181
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 270-270
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2001-2001
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 133-133
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 194-194
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 416-416
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 307-307
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 201-201
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 191-191
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 462-462
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 318-318
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55691-55691
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55690-55690
antecedent
No TPTP formula. May not be expressible in strict first order.
Government.kif 4582-4590
diplomaticRepresentationType
Nacao
,
Posicao
and
AutonomousAgent
Posicao
e' um
sub
-atributo de
DiplomaticAgent
Humano
Humano
e' uma
instancia
de
Humano
Humano
e' um
cidadao
de
Nacao
diplomaticRepresentativeInRole
Nacao
,
Humano
,
Posicao
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Government.kif 352-357
governmentType
Area Geopolitica
and
FormOfGovernment
FormOfGovernment
e' um
sub
-atributo de
TheocraticGovernment
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
o
governo
de
Area Geopolitica
e' uma
instancia
de
Organizacao Religiosa
No TPTP formula. May not be expressible in strict first order.
Government.kif 345-350
governmentType
AutonomousAgent
and
FormOfGovernment
FormOfGovernment
e' um
sub
-atributo de
TheocraticGovernment
AutonomousAgent
e' uma
instancia
de
Organizacao
AutonomousAgent
e' uma
instancia
de
Organizacao Religiosa
No TPTP formula. May not be expressible in strict first order.
Government.kif 256-264
governmentType
Area Geopolitica
and
FormOfGovernment
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
FormOfGovernment
e' um
sub
-atributo de
ParliamentaryGovernment
Organizacao
Organizacao
e' uma
instancia
de
Parliament
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
No TPTP formula. May not be expressible in strict first order.
Government.kif 4621-4629
AutonomousAgent
e' uma
instancia
de
Nacao
AutonomousAgent
e' uma
instancia
de
Nacao
AutonomousAgent
e' uma
instancia
de
Humano
Posicao
e' um
atributo
de
AutonomousAgent
Posicao
e' um
sub
-atributo de
DiplomaticAgent
representativeAgentToAgent
AutonomousAgent
,
AutonomousAgent
and
AutonomousAgent
diplomaticRepresentationType
AutonomousAgent
,
Posicao
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Government.kif 2602-2606
organizationalObjective
AutonomousAgent
and
AreaOfConcern
AreaOfConcern
e' um
sub
-atributo de
AreaOfConcern
organizationalObjective
AutonomousAgent
and
AreaOfConcern
No TPTP formula. May not be expressible in strict first order.
Merge.kif 696-700
Atributo
e' um
sub
-atributo de
Atributo
Atributo
e' uma
instancia
de
Classe
Atributo
e' uma
instancia
de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 689-694
Atributo
e' um
sub
-atributo de
Atributo
Entidade
Entidade
tem um
atributo
de
Atributo
Entidade
tem um
atributo
de
Atributo
consequent
No TPTP formula. May not be expressible in strict first order.
Government.kif 4557-4563
diplomaticRelations
Area Geopolitica
and
Area Geopolitica
Posicao
Posicao
e' uma
instancia
de
ForeignServicePosition
Posicao
e' um
sub
-atributo de
DiplomaticAgent
diplomaticRepresentationType
Area Geopolitica
,
Posicao
and
Area Geopolitica
No TPTP formula. May not be expressible in strict first order.
Government.kif 4565-4571
diplomaticRelations
Area Geopolitica
and
Area Geopolitica
Posicao
Posicao
e' uma
instancia
de
ForeignServicePosition
Posicao
e' um
sub
-atributo de
DiplomaticAgent
diplomaticRepresentationType
Area Geopolitica
,
Posicao
and
Area Geopolitica
No TPTP formula. May not be expressible in strict first order.
Government.kif 4408-4410
Atributo
e' uma
instancia
de
ForeignServicePosition
Atributo
e' um
sub
-atributo de
DiplomaticAgent
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2899-2899
AONOrder
e' um
sub
-atributo de
FinancialOrder
No TPTP formula. May not be expressible in strict first order.
naics.kif 3894-3894
AbrasiveProductManufacturing
e' um
sub
-atributo de
OtherNonmetallicMineralProductManufacturing
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1524-1524
AbruzzeseCuisine
e' um
sub
-atributo de
ItalianCuisine
No TPTP formula. May not be expressible in strict first order.
Government.kif 327-327
AbsoluteMonarchy
e' um
sub
-atributo de
AuthoritarianRegime
No TPTP formula. May not be expressible in strict first order.
Government.kif 240-240
AbsoluteMonarchy
e' um
sub
-atributo de
Monarchy
No TPTP formula. May not be expressible in strict first order.
naics.kif 11559-11559
Accommodation
e' um
sub
-atributo de
AccommodationAndFoodServices
No TPTP formula. May not be expressible in strict first order.
naics.kif 9900-9900
AccountingTaxPreparationBookkeepingAndPayrollServices
e' um
sub
-atributo de
ProfessionalScientificAndTechnicalServices
No TPTP formula. May not be expressible in strict first order.
Government.kif 4440-4440
ActingConsulGeneral
e' um
sub
-atributo de
ConsulGeneral
No TPTP formula. May not be expressible in strict first order.
naics.kif 9289-9289
ActivitiesRelatedToCreditIntermediation
e' um
sub
-atributo de
CreditIntermediationAndRelatedActivities
No TPTP formula. May not be expressible in strict first order.
naics.kif 9647-9647
ActivitiesRelatedToRealEstate
e' um
sub
-atributo de
RealEstateIndustry
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18808-18808
Actor
e' um
sub
-atributo de
Performer
No TPTP formula. May not be expressible in strict first order.
Biography.kif 353-353
Actuary
e' um
sub
-atributo de
Scientist
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6030-6030
AcuteBronchitis
e' um
sub
-atributo de
Bronchitis
No TPTP formula. May not be expressible in strict first order.
naics.kif 3387-3387
AdhesiveManufacturing
e' um
sub
-atributo de
PaintCoatingAndAdhesiveManufacturing
No TPTP formula. May not be expressible in strict first order.
naics.kif 12355-12355
AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms
e' um
sub
-atributo de
AdministrationOfEnvironmentalQualityPrograms
No TPTP formula. May not be expressible in strict first order.
naics.kif 12364-12364
AdministrationOfConservationPrograms
e' um
sub
-atributo de
AdministrationOfEnvironmentalQualityPrograms
No TPTP formula. May not be expressible in strict first order.
naics.kif 12395-12395
AdministrationOfEconomicPrograms
e' um
sub
-atributo de
PublicAdministration
No TPTP formula. May not be expressible in strict first order.
naics.kif 12317-12317
AdministrationOfEducationPrograms
e' um
sub
-atributo de
AdministrationOfHumanResourcePrograms
No TPTP formula. May not be expressible in strict first order.
naics.kif 12348-12348
AdministrationOfEnvironmentalQualityPrograms
e' um
sub
-atributo de
PublicAdministration
No TPTP formula. May not be expressible in strict first order.
naics.kif 12401-12401
AdministrationOfGeneralEconomicPrograms
e' um
sub
-atributo de
AdministrationOfEconomicPrograms
No TPTP formula. May not be expressible in strict first order.
naics.kif 12379-12379
AdministrationOfHousingPrograms
e' um
sub
-atributo de
AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
No TPTP formula. May not be expressible in strict first order.
naics.kif 12371-12371
AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
e' um
sub
-atributo de
PublicAdministration
No TPTP formula. May not be expressible in strict first order.
naics.kif 12311-12311
AdministrationOfHumanResourcePrograms
e' um
sub
-atributo de
PublicAdministration
No TPTP formula. May not be expressible in strict first order.
naics.kif 12331-12331
AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms
e' um
sub
-atributo de
AdministrationOfHumanResourcePrograms
No TPTP formula. May not be expressible in strict first order.
naics.kif 12324-12324
AdministrationOfPublicHealthPrograms
e' um
sub
-atributo de
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
subAttribute