Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
AgreementOrganizationFn
Sigma KEE - AgreementOrganizationFn
AgreementOrganizationFn
appearance as argument number 1
(
documentation
AgreementOrganizationFn
EnglishLanguage
"(
AgreementOrganizationFn
?AGR) denotes the official
Organization
established by the
Agreement
?AGR to administer or enforce the terms of that agreement.")
Geography.kif 3184-3186
(
domain
AgreementOrganizationFn
1
Agreement
)
Geography.kif 3181-3181
The number 1 argument of
agreement organization
is an
instance
of
agreement
(
instance
AgreementOrganizationFn
UnaryFunction
)
Geography.kif 3180-3180
Agreement organization
is an
instance
of
unary function
(
range
AgreementOrganizationFn
Organization
)
Geography.kif 3182-3182
The
range
of
agreement organization
is an instance of
organization
appearance as argument number 2
(
format
ChineseLanguage
AgreementOrganizationFn
"%1 的 agreement 组织")
domainEnglishFormat.kif 92-92
(
format
ChineseTraditionalLanguage
AgreementOrganizationFn
"%1 的 agreement 組織")
domainEnglishFormat.kif 91-91
(
format
EnglishLanguage
AgreementOrganizationFn
"the agreement organization of %1")
domainEnglishFormat.kif 90-90
(
termFormat
ChineseLanguage
AgreementOrganizationFn
"协议组织")
domainEnglishFormat.kif 5925-5925
(
termFormat
ChineseTraditionalLanguage
AgreementOrganizationFn
"協議組織")
domainEnglishFormat.kif 5924-5924
(
termFormat
EnglishLanguage
AgreementOrganizationFn
"agreement organization")
domainEnglishFormat.kif 5923-5923
antecedent
(=>
(
and
(
instance
?AGR
InternationalAgreement
)
(
instance
(
AgreementOrganizationFn
?AGR)
Organization
))
(
instance
(
AgreementOrganizationFn
?AGR)
OrganizationOfNations
))
Geography.kif 3188-3192
If
an agreement
is an
instance
of
international agreement
and the
agreement
organization of
the agreement
is an
instance
of
organization
,
then the
agreement
organization of
the agreement
is an
instance
of
organization of nations
consequent
(=>
(
and
(
instance
?AGR
InternationalAgreement
)
(
instance
(
AgreementOrganizationFn
?AGR)
Organization
))
(
instance
(
AgreementOrganizationFn
?AGR)
OrganizationOfNations
))
Geography.kif 3188-3192
If
an agreement
is an
instance
of
international agreement
and the
agreement
organization of
the agreement
is an
instance
of
organization
,
then the
agreement
organization of
the agreement
is an
instance
of
organization of nations
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