národ (Nation)

Ontologie

Nadtřída(y)

entita   fyzický objekt     objekt     oblast     geografická oblast   entita   fyzický objekt     objekt     původce     geopolitická oblast	entita   fyzický objekt     objekt     oblast     geografická oblast     souš
národ

Související termín(y)

Constrains relations

Related WordNet synsets

state, nation, country, land, commonwealth, res publica, body politic

a politically organized body of people under a single government; "the state has elected a new president"
              

country, state, land, nation

the territory occupied by a nation; "he returned to the land of his birth"; "he visited several European countries"
                 

national

concerned with or applicable to or belonging to an entire nation or country; "the national government"; "national elections"; "of national concern"; "the national highway system"; "national forests"
     

national

of or relating to or belonging to a nation or country; "national hero"; "national anthem"; "a national landmark"
  

nationally

with regard to a nation taken as a whole; "a nationally uniform culture"
  

nationally, nationwide, across the nation, across the country

extending throughout an entire nation; "nationally advertised"; "it was broadcast nationwide"
  

Axiomy (2)

• jestliže war je instancí třídy válka a agent je původcem war,
• potom
  • agent je instancí třídy národ
  nebo
  • • agent je instancí třídy organizace
    a
    • pro všechny member platí: jestliže member je a členem agent, potom member je instancí třídy národ
.

(=>
      (and
            (instance ?WAR War)
            (agent ?WAR ?AGENT))
      (or
            (instance ?AGENT Nation)
            (and
                  (instance ?AGENT Organization)
                  (forall
                        (?MEMBER)
                        (=>
                              (member ?MEMBER ?AGENT)
                              (instance ?MEMBER Nation))))))

(=>
      (instance ?STATE StateOrProvince)
      (exists
            (?LAND)
            (and
                  (instance ?LAND Nation)
                  (properPart ?STATE ?LAND))))