Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 2918-2920
(
domain
AgreementOrganizationFn
1
Agreement
)
Geography.kif 2915-2915
The number 1 argument of
agreement organization
is an
instance
of
agreement
(
instance
AgreementOrganizationFn
UnaryFunction
)
Geography.kif 2914-2914
Agreement organization
is an
instance
of
unary function
(
range
AgreementOrganizationFn
Organization
)
Geography.kif 2916-2916
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 5923-5923
(
termFormat
ChineseTraditionalLanguage
AgreementOrganizationFn
"協議組織")
domainEnglishFormat.kif 5922-5922
(
termFormat
EnglishLanguage
AgreementOrganizationFn
"agreement organization")
domainEnglishFormat.kif 5921-5921
antecedent
(=>
(
and
(
instance
?AGR
InternationalAgreement
)
(
instance
(
AgreementOrganizationFn
?AGR)
Organization
))
(
instance
(
AgreementOrganizationFn
?AGR)
OrganizationOfNations
))
Geography.kif 2922-2926
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 2922-2926
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
