Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Total Terms | Total Axioms | Total Rules |
| 16607 | 227508 | 7732 |
| Relations: | 794880 |
| non-linguistic axioms: | 172101 |
| Ground tuples: | 219684 |
| of which are binary: | 158859 |
| of which arity more than binary: | 60917 |
| Rules: | 7732 | ||
| of which are: | horn: | 2625 | |
| first-order: | 5682 | ||
| higher-order: | 2050 | ||
| of which are: | temporal: | 713 | |
| deontic: | 108 | ||
| epistemic: | 126 | ||
| other modal: | 972 |