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
diplomaticOrganizationType
Sigma KEE - diplomaticOrganizationType
diplomaticOrganizationType
appearance as argument number 1
(
documentation
diplomaticOrganizationType
EnglishLanguage
"(
diplomaticOrganizationType
?AGENT1 ?ORG ?AGENT2) means that the
AutonomousAgent
?AGENT1 has a diplomatic organization of the type ?ORG in
AutonomousAgent
?AGENT2. For example, (
diplomaticOrganizationType
UnitedStates
Embassy
France
), or (
diplomaticOrganizationType
UnitedStates
ConsulateGeneral
Shanghai
China).")
Government.kif 4636-4642
(
domain
diplomaticOrganizationType
1
AutonomousAgent
)
Government.kif 4632-4632
Die Zahl 1 Argument von
diplomaticOrganizationType
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
diplomaticOrganizationType
3
AutonomousAgent
)
Government.kif 4634-4634
Die Zahl 3 Argument von
diplomaticOrganizationType
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domainSubclass
diplomaticOrganizationType
2
Organization
)
Government.kif 4633-4633
Die Zahl 2 Argument von
diplomaticOrganizationType
ist eine
teilkategorie
von
Organization
%n{nicht}
(
instance
diplomaticOrganizationType
TernaryPredicate
)
Government.kif 4631-4631
diplomaticOrganizationType
ist ein
fall
von
TernaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
diplomaticOrganizationType
"%1 %p{是} %n{不是} 对于 %3 的 diplomatic 类别")
domainEnglishFormat.kif 740-740
(
format
ChineseTraditionalLanguage
diplomaticOrganizationType
"%1 %p{是} %n{不是} 對於 %3 的 diplomatic 類別")
domainEnglishFormat.kif 739-739
(
format
EnglishLanguage
diplomaticOrganizationType
"%1 %p{is} %n{isn't} diplomatic organization type %2 for %3")
domainEnglishFormat.kif 738-738
(
termFormat
ChineseLanguage
diplomaticOrganizationType
"外交组织类型")
domainEnglishFormat.kif 19614-19614
(
termFormat
ChineseTraditionalLanguage
diplomaticOrganizationType
"外交組織類型")
domainEnglishFormat.kif 19613-19613
(
termFormat
EnglishLanguage
diplomaticOrganizationType
"diplomatic organization type")
domainEnglishFormat.kif 19612-19612
antecedent
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
geopoliticalSubdivision
?AGENT2 ?AGENT3)
(
instance
?AGENT3
Nation
))
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT3))
Government.kif 4668-4673
Wenn
diplomaticOrganizationType
AutonomousAgent
,
** Organization
and
GeopoliticalArea
und
geopoliticalSubdivision
** GeopoliticalArea
and
** GeopoliticalArea
und
** ** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht},
dann
diplomaticOrganizationType
** AutonomousAgent
,
** Organization
and
** ** GeopoliticalArea
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1)))))
Government.kif 4648-4657
Wenn
diplomaticOrganizationType
GeopoliticalArea
,
** Organization
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann es gibt
** Organization
um
** ** Organization
ist ein
fall
von
** Organization
%n{nicht} und
** ** Organization
befindet
sich an %n{nicht} und
subOrganization
** ** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG ?AGENT1))))
Government.kif 4658-4667
Wenn
diplomaticOrganizationType
Organization
,
** ** Organization
and
AutonomousAgent
und
** Organization
ist ein
fall
von
Organization
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann es gibt
** Organization
um
** ** Organization
ist ein
fall
von
** ** Organization
%n{nicht} und
** ** Organization
befindet
sich an %n{nicht} und
subOrganization
** ** Organization
and
** Organization
(=>
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2)
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2))
Government.kif 4644-4646
Wenn
diplomaticOrganizationType
AutonomousAgent
,
ConsulateGeneral
and
** AutonomousAgent
,
dann
diplomaticRepresentationType
** AutonomousAgent
,
ConsulGeneral
and
** ** AutonomousAgent
(=>
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2)
(
diplomaticRepresentationType
?AGENT1
Ambassador
?AGENT2))
Government.kif 4692-4694
Wenn
diplomaticOrganizationType
AutonomousAgent
,
Embassy
and
** AutonomousAgent
,
dann
diplomaticRepresentationType
** AutonomousAgent
,
Ambassador
and
** ** AutonomousAgent
consequent
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
geopoliticalSubdivision
?AGENT2 ?AGENT3)
(
instance
?AGENT3
Nation
))
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT3))
Government.kif 4668-4673
Wenn
diplomaticOrganizationType
AutonomousAgent
,
** Organization
and
GeopoliticalArea
und
geopoliticalSubdivision
** GeopoliticalArea
and
** GeopoliticalArea
und
** ** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht},
dann
diplomaticOrganizationType
** AutonomousAgent
,
** Organization
and
** ** GeopoliticalArea
(=>
(
and
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2)
(
instance
?AREA2
City
)
(
equal
?AGENT2
(
GovernmentFn
?AREA2)))
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2))
Government.kif 4675-4680
Wenn
diplomaticRepresentationType
AutonomousAgent
,
ConsulGeneral
and
Government
und
GeopoliticalArea
ist ein
fall
von
City
%n{nicht} und
** Government
ist gleich
GovernmentFn
** GeopoliticalArea
%n{nicht},
dann
diplomaticOrganizationType
** AutonomousAgent
,
ConsulateGeneral
and
** Government
(=>
(
diplomaticRepresentationType
?AGENT1
Ambassador
?AGENT2)
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2))
Government.kif 4687-4689
Wenn
diplomaticRepresentationType
AutonomousAgent
,
Ambassador
and
** AutonomousAgent
,
dann
diplomaticOrganizationType
** AutonomousAgent
,
Embassy
and
** ** AutonomousAgent
(=>
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON
Ambassador
?AGENT2)
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2))
Government.kif 4683-4685
Wenn
diplomaticRepresentativeInRole
AutonomousAgent
,
Human
,
Ambassador
and
** AutonomousAgent
,
dann
diplomaticOrganizationType
** AutonomousAgent
,
Embassy
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