Description Logic … and First Order Logic
{"Image DocumentName": "Description Logic \u2026 and First Order Logic", "Image ImageDescription": "Translations require mappings on two variables. : \u03c0(x) and \u03c0(y) \u03c0x(\uf024R:C) = \uf024y:R(y; x) \u2227 \u03c0y(C) Mother(x) is true iff x truth values match those of the definition of Woman with some y a child. March Bart Gajderowicz, Ryerson University, Dept. of Computer Science.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}