Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - governmentType
governmentType

appearance as argument number 1
-------------------------


s__documentation(s__governmentType__m,s__EnglishLanguage,'"(governmentType ?BODY ?FORM) means that the GeopoliticalArea or Organization ?BODY has a government with characteristic(s) of the type ?FORM."')

Government.kif 132-134
s__domain(s__governmentType__m,n__1,s__Agent)

Government.kif 128-128 The number 1 argument of government type is an instance of agent
s__domain(s__governmentType__m,n__2,s__FormOfGovernment)

Government.kif 129-129 The number 2 argument of government type is an instance of form of government
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__governmentType__m,s__BinaryPredicate)

Government.kif 127-127 government type is an instance of binary predicate
s__subrelation(s__governmentType__m,s__attribute__m)

Government.kif 130-130 government type is a subrelation of attribute

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__governmentType__m,'"%2 %n 是 1% 的 government 类别"')

domainEnglishFormat.kif 1113-1113
s__format(s__ChineseTraditionalLanguage,s__governmentType__m,'"%2 %n 是 1% 的 government 類別"')

domainEnglishFormat.kif 1112-1112
s__format(s__EnglishLanguage,s__governmentType__m,'"%2 is %n a government type of %1"')

domainEnglishFormat.kif 1111-1111
s__termFormat(s__ChineseLanguage,s__governmentType__m,'"政府类型"')

domainEnglishFormat.kif 26331-26331
s__termFormat(s__ChineseTraditionalLanguage,s__governmentType__m,'"政府類型"')

domainEnglishFormat.kif 26330-26330
s__termFormat(s__EnglishLanguage,s__governmentType__m,'"government type"')

domainEnglishFormat.kif 26329-26329

antecedent
-------------------------


( ! [V__AGENT,V__TYPE] :
   ((s__instance(V__TYPE,s__FormOfGovernment) =>
       (((s__governmentType(V__AGENT,V__TYPE)
           &
           s__subAttribute(V__TYPE,s__TheocraticGovernment) &
           s__instance(V__AGENT,s__GeopoliticalArea))
         =>
         (s__instance(s__GovernmentFn(V__AGENT)
        ,s__ReligiousOrganization)))))
)
)

Government.kif 340-345
( ! [V__AGENT,V__TYPE] :
   ((s__instance(V__TYPE,s__FormOfGovernment) =>
       (((s__governmentType(V__AGENT,V__TYPE)
           &
           s__subAttribute(V__TYPE,s__TheocraticGovernment) &
           s__instance(V__AGENT,s__Organization))
         =>
         (s__instance(V__AGENT,s__ReligiousOrganization)))))
   )
)

Government.kif 333-338
( ! [V__PLACE,V__TYPE] :
   ((s__instance(V__TYPE,s__FormOfGovernment) =>
       (((s__governmentType(V__PLACE,V__TYPE)
           &
           s__instance(V__PLACE,s__GeopoliticalArea) &
           s__subAttribute(V__TYPE,s__ParliamentaryGovernment))
         =>
         (( ? [V__ORG] :
             ((s__instance(V__ORG,s__Parliament) &
                 s__subOrganization(V__ORG,s__GovernmentFn(V__PLACE)))))))))
)
)

Government.kif 244-252
( ! [V__PLACE] :
   (((s__governmentType(V__PLACE,s__AbsoluteMonarchy) &
         s__instance(V__PLACE,s__GeopoliticalArea))
       =>
       (s__leaderPosition(V__PLACE,s__Monarch)))
     )
   )

Government.kif 230-234
No TPTP formula. May not be expressible in strict first order. Government.kif 209-221
( ! [V__TYPE,V__AREA] :
   ((s__instance(V__TYPE,s__FormOfGovernment) =>
       (((s__instance(V__AREA,s__GeopoliticalArea) &
             s__governmentType(V__AREA,V__TYPE))
         =>
         (s__attribute(s__GovernmentFn(V__AREA)
        ,V__TYPE)))))
)
)

Government.kif 142-146
( ! [V__COUNTRY] :
   (((s__instance(V__COUNTRY,s__GeopoliticalArea) &
         s__governmentType(V__COUNTRY,s__Democracy))
       =>
       (s__subProposition(s__VoterCitizenshipRequirement,s__RegionalLawFn(V__COUNTRY))))
)
)

Government.kif 903-907
( ! [V__COUNTRY] :
   (((s__instance(V__COUNTRY,s__Nation) &
         s__governmentType(V__COUNTRY,s__Democracy))
       =>
       (( ? [V__SUFFRAGE] :
           ((s__instance(V__SUFFRAGE,s__SuffrageLaw) &
               s__subProposition(V__SUFFRAGE,s__RegionalLawFn(V__COUNTRY)))))))
)
)

Government.kif 892-899
( ! [V__AGENT,V__TYPE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__TYPE,s__FormOfGovernment))
       =>
       ((s__governmentType(V__AGENT,V__TYPE)
         =>
         ((s__instance(V__AGENT,s__Organization) |
             s__instance(V__AGENT,s__GeopoliticalArea))))))
   )
)

Government.kif 136-140
( ! [V__PLACE] :
   ((s__instance(V__PLACE,s__Agent) =>
       ((s__governmentType(V__PLACE,s__MilitaryDictatorship) =>
           (s__leaderPosition(V__PLACE,s__MilitaryCommander)))))
     )
   )

Government.kif 320-322

consequent
-------------------------


( ! [V__TYPE,V__AREA] :
   ((s__instance(V__AREA,s__GeopoliticalArea) =>
       (((s__attribute(s__GovernmentFn(V__AREA)
          ,V__TYPE)
         &
         s__instance(V__TYPE,s__FormOfGovernment))
       =>
       (s__governmentType(V__AREA,V__TYPE)))))
)
)

Government.kif 148-152
( ! [V__POSITION,V__AREA,V__ELECTION] :
   (((s__instance(V__POSITION,s__Position) &
         s__instance(V__AREA,s__GeopoliticalArea))
       =>
       (((s__chiefOfStateType(V__AREA,V__POSITION)
           &
           s__agent(V__ELECTION,V__AREA)
         &
         s__instance(V__ELECTION,s__Election) &
         s__electionForPosition(V__ELECTION,V__POSITION)
       &
       s__instance(V__ELECTION,s__PopularElection))
     =>
     (s__governmentType(V__AREA,s__Democracy)))))
)
)

Government.kif 1574-1581
No TPTP formula. May not be expressible in strict first order. Government.kif 2249-2255
( ! [V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       ((s__attribute(V__AREA,s__DemocraticSocialism) =>
           (s__governmentType(V__AREA,s__Democracy)))))
     )
   )

Economy.kif 820-822
( ! [V__PERSON] :
   ((s__instance(V__PERSON,s__Human) =>
       ((s__attribute(V__PERSON,s__Monarch) =>
           (( ? [V__PLACE] :
               ((s__instance(V__PLACE,s__GeopoliticalArea) &
                   s__governmentType(V__PLACE,s__Monarchy) &
                   s__chiefOfState(V__PLACE,s__Monarch,V__PERSON))))))))
   )
)

Government.kif 1349-1355
( ! [V__AREA] :
   ((s__instance(V__AREA,s__ParliamentaryTerritory) =>
       (s__governmentType(s__GovernmentFn(V__AREA)
      ,s__ParliamentaryGovernment)))
   )
)

Government.kif 516-518


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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