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.
Examples
- The concept Human is defined as the disjunction between Man and Woman:
- ?x memberOf Human equivalent ?x memberOf Woman or ?x memberOf Man
- The concepts Man and Woman are disjoint:
- ?x memberOf Man implies neg ?x memberOf Woman
- Every Human has a father, which is a Human and every father is a human:
- ?x memberOf Human implies exists ?y ( ?x[father hasValue ?y] and ?y memberOf Human ) and forall ?y ( ?x[father hasValue ?y] implies ?y memberOf Human )
Speaker notes:
Content Tools
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Sources
There are currently no sources for this slide.