Premodifier: logicalHead noun: system
| Same concepts |
|---|
| http://dbpedia.org/resource/Formal_system |
Broader concepts
| label | provenance | confidence |
|---|
Narrower concepts
| label | provenance | confidence |
|---|---|---|
| mathematics | isap:145180064 | 0.615103 |
| modal logic | isap:155985095 | 0.560247 |
| pa | isap:108550949 | 0.359704 |
| math | isap:311064197 | 0.290277 |