3/*************************************************************************
    4
    5                               thing
    6                   /           /   \     \       \
    7         proposition     entity   event  time   abstraction
    8                         /    \                 /        \
    9                     object  organism    organisation     
   10                              /     \
   11                         animal    person
   12                                   /    \
   13                                man    woman
   14
   15*************************************************************************/
   16
   17:- module(ontology,[isa/2,isnota/2]).   18
   19isa(event,thing).
   20isa(event,neuter).
   21
   22isa(time,thing).
   23isa(time,neuter).
   24
   25isa(entity,thing).
   26
   27isa(abstraction,thing).
   28isa(abstraction,neuter).
   29
   30isa(organisation,abstraction).
   31isa(proposition,thing).
   32
   33
   34isa(object,entity).
   35isa(object,neuter).
   36
   37isa(organism,entity).
   38
   39isa(animal,organism).
   40
   41isa(person,organism).
   42
   43isa(plant,organism).
   44isa(plant,neuter).
   45
   46isa(man,person).
   47isa(woman,person).
   48isa(governer,person).
   49isa(lawyer,person).
   50isa(director,person).
   51isa(chairman,person).
   52isa('dr.',person).
   53
   54
   55
   56
   57isa('mr.',man).
   58isa(spokesman,man).
   59
   60isa('mrs.',woman).
   61isa('ms.',woman).
   62isa(spokeswoman,womam).
   63
   64isa(woman,female).
   65isa(man,male).
   66
   67isa('n.v.',organisation).
   68isa('inc.',organisation).
   69isa('corp.',organisation).
   70isa('co.',organisation).
   71isa('ltd.',organisation).
   72isa(company,organisation).
   73
   74
   75isa(year,time).
   76isa(today,time).
   77isa(july,time).
   78isa(monday,time).
   79
   80
   81
   82isnota(man,woman).
   83
   84isnota(male,female).
   85isnota(neuter,female).
   86isnota(neuter,male).
   87
   88
   89isnota(abstraction,time).
   90isnota(abstraction,event).
   91isnota(abstraction,entity).
   92isnota(entity,event).
   93isnota(time,event).
   94isnota(entity,time).
   95
   96isnota(object,organism).
   97
   98isnota(plant,person).
   99isnota(plant,animal).
  100isnota(animal,person).
  101
  102isnota(single,plural).
  103isnota(single,event).
  104isnota(plural,event).
  105
  106isnota(person,nonhuman).
  107
  108isnota(proposition,entity).
  109isnota(proposition,event).
  110isnota(proposition,time).
  111isnota(proposition,abstraction).
  112isnota(proposition,neuter).
  113isnota(proposition,male).
  114isnota(proposition,female)