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.


  • No human can be both male and female:
  • !- ?x[gender hasValue {?y, ?z}] memberOf Human and ?y = Male and ?z = Female. 
  • A human who is not a man is a woman:
  • ?x[gender hasValue Woman] impliedBy neg ?x[gender hasValue Man]. 
  • The brother of a parent is an uncle:
  • ?x[uncle hasValue ?z] impliedBy ?x[parent hasValue ?y] and ?y[brother hasValue ?z]. 
  • Do not trust strangers:
  • ?x[distrust hasValue ?y] :- naf ?x[knows hasValue ?y].

Speaker notes:

Content Tools


There are currently no sources for this slide.