Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Simple Models

The truth value \((s \, p \, o.)^\mathcal{I}\) of a (grounded) triple \(s \, p \, o .\) is true iff \(s\), \(p\), and \(o\) are contained in \(V\) and \(\langle s^\mathcal{I}, o^\mathcal{I}\rangle \in \mathrm{I_{EXT}}(p^\mathcal{I})\).


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.