Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

SUMO / BASE-ONTOLOGY

Třídy

abstraktum   původce   zvířecí jazyk   antisymetrická relace   umělý jazyk   asociativní funkce   nesymetrická relace   atom   atomové jádro   atribut   binární číslo   znak   třída   myslící agent   kolekce   komutativní funkce   komplexní číslo   sloučenina   počítačový jazyk   konstantní veličina   umělý lidský jazyk   objekt nesoucí informaci   spojitá funkce   složený objekt   proces nad dvěma objekty   elektron   elementární látka   entita   relace ekvivalence   sudé celé číslo   formule   proměnná veličina   lidský jazyk   ikona   imaginární číslo   celé číslo   interní attribut   netranzitivní relace   iracionální číslo   ireflexivní relace   jazyk   lingvistický výraz   seznam   logický operátor   kov   směs   film   přirozený jazyk   záporné celé číslo   záporné reálné číslo   neutron   nezáporné celé číslo   nezáporné reálné číslo   číslo   objekt   liché celé číslo   prostá funkce na   relace částečné uspořádání   neúplná relace   fyzický objekt   fyzikální veličina   kladné celé číslo   kladné reálné číslo   prvočíslo   proces   výrok   proton   čistá látka   veličina   racionální číslo   reálné číslo   reflexivní relace   oblast   relace   relační attribut   spojitý objekt   vnímavý agent   sekvenční funkce   množina   množina nebo třída   roztok   subatomická částice   látka   řetězec   symetrická relace   časově závislá veličina   trvání   časový interval   časová míra   okamžik   časová pozice   relace úplné uspořádání   úplná relace   tranzitivní relace   trichotomická relace   unary constant functionquantity   seznam bez duplicit   relace s proměnným počtem argumentů   slovo  

Instance

inheritable relation  

Relace

binární funkce   binární predikát   binární relace   case role   funkce   intentional relation   null list   postoj k objektu   predikát   pravděpodobnostní relace   postoj k tvrzení   funkce se čtyřmi argumenty   predikát se čtyřmi argumenty   relace se čtyřmi argumenty   predikát s pěti argumenty   relace s pěti argumenty   relace rozšířená na veličiny   relace s jedinou hodnotou   prostorová relace   časová relace   funkce se třemi argumenty   predikát se třemi argumenty   terciální relace   unární funkce   agent   attribute   believes   between   capability   causes   causes subclass   closed on   component   conditional probability   confers obligation   confers right   considers   contains information   copy   crosses   decreases likelihood   desires   destination   distributes   equivalence relation on   equivalent content class   equivalent content instance   exactly located   experiencer   exploits   expressed in language   greater than   greater than or equal to   has purpose   has purpose for agent   has skill   holds during   holds obligation   holds right   in list   in scope of interest   increases likelihood   independent probability   inhibits   initial list   instrument   irreflexive on   knows   less than   less than or equal to   located   manner   material   member   names   needs   notices   origin   part   partial ordering on   partly located   patient   penetrates   piece   possesses   precondition   prefers   prevents   proper part   property   realization   refers   reflexive on   represents   represents for agent   represents in language   resource   result   sub collection   sub list   sub plan   sub proposition   subsumes content class   subsumes content instance   time   total ordering on   traverses   trichotomizing on   unique identifier   uses   wants  

Funkce

abstraction fn   back fn   extension fn   front fn   list concatenate fn   list fn   list length fn   list order fn   probability fn   property fn   where fn