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
diplomaticRepresentationType
Sigma KEE - diplomaticRepresentationType
diplomaticRepresentationType
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Government.kif 4526-4529
No TPTP formula. May not be expressible in strict first order.
Government.kif 4522-4522
O argumento numero 1 de
diplomaticRepresentationType
e' uma
instancia
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Government.kif 4523-4523
O argumento numero 2 de
diplomaticRepresentationType
e' uma
instancia
de
Posicao
No TPTP formula. May not be expressible in strict first order.
Government.kif 4524-4524
O argumento numero 3 de
diplomaticRepresentationType
e' uma
instancia
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Government.kif 4521-4521
diplomaticRepresentationType
e' uma
instancia
de
Predicado Ternario
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 748-748
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 747-747
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 746-746
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19626-19626
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19625-19625
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19624-19624
antecedent
No TPTP formula. May not be expressible in strict first order.
Government.kif 4535-4540
diplomaticRepresentationType
AutonomousAgent
,
Posicao
and
Area Geopolitica
sub-divisao geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
diplomaticRepresentationType
AutonomousAgent
,
Posicao
and
Area Geopolitica
No TPTP formula. May not be expressible in strict first order.
Government.kif 4675-4680
diplomaticRepresentationType
AutonomousAgent
,
ConsulGeneral
and
Governo
Area Geopolitica
e' uma
instancia
de
Cidade
Governo
e'
igual
a o
governo
de
Area Geopolitica
diplomaticOrganizationType
AutonomousAgent
,
ConsulateGeneral
and
Governo
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 4687-4689
diplomaticRepresentationType
AutonomousAgent
,
Ambassador
and
AutonomousAgent
diplomaticOrganizationType
AutonomousAgent
,
Embassy
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Government.kif 4553-4555
diplomaticRepresentationType
Area Geopolitica
,
Posicao
and
Area Geopolitica
diplomaticRelations
Area Geopolitica
and
Area Geopolitica
consequent
No TPTP formula. May not be expressible in strict first order.
Government.kif 4535-4540
diplomaticRepresentationType
AutonomousAgent
,
Posicao
and
Area Geopolitica
sub-divisao geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
diplomaticRepresentationType
AutonomousAgent
,
Posicao
and
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 4644-4646
diplomaticOrganizationType
AutonomousAgent
,
ConsulateGeneral
and
AutonomousAgent
diplomaticRepresentationType
AutonomousAgent
,
ConsulGeneral
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Government.kif 4692-4694
diplomaticOrganizationType
AutonomousAgent
,
Embassy
and
AutonomousAgent
diplomaticRepresentationType
AutonomousAgent
,
Ambassador
and
AutonomousAgent
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 4573-4580
diplomaticRelations
Area Geopolitica
and
Area Geopolitica
Posicao
Posicao
Posicao
e' uma
instancia
de
Posicao
Posicao
e' uma
instancia
de
Posicao
diplomaticRepresentationType
Area Geopolitica
,
Posicao
and
Area Geopolitica
diplomaticRepresentationType
Area Geopolitica
,
Posicao
and
Area Geopolitica
No TPTP formula. May not be expressible in strict first order.
Government.kif 4531-4533
diplomaticRepresentativeInRole
AutonomousAgent
,
Humano
,
Posicao
and
AutonomousAgent
diplomaticRepresentationType
AutonomousAgent
,
Posicao
and
AutonomousAgent
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