2:- module(ontology,[isa/2,isnota/2]).    3
    4/* -------------------------------------------------------------------------
    5   IS-A links
    6------------------------------------------------------------------------- */
    7
    8isa(event,thing).
    9isa(event,neuter).
   10
   11isa(time,thing).
   12isa(time,neuter).
   13
   14isa(entity,thing).
   15
   16isa(abstraction,thing).
   17isa(abstraction,neuter).
   18
   19isa(organisation,abstraction).
   20
   21isa(object,entity).
   22isa(object,neuter).
   23
   24isa(organism,entity).
   25
   26isa(animal,organism).
   27isa(person,organism).
   28
   29isa(man,person).
   30isa(woman,person).
   31
   32isa(woman,female).
   33isa(man,male).
   34
   35/* -------------------------------------------------------------------------
   36   IS-NOT-A links
   37------------------------------------------------------------------------- */
   38
   39isnota(male,female).
   40isnota(neuter,female).
   41isnota(neuter,male).
   42
   43isnota(abstraction,time).
   44isnota(abstraction,event).
   45isnota(abstraction,entity).
   46isnota(entity,event).
   47isnota(time,event).
   48isnota(entity,time).
   49
   50isnota(object,organism).
   51
   52isnota(animal,person).
   53
   54isnota(single,plural).
   55isnota(single,event).
   56isnota(plural,event).
   57
   58
   59/* -------------------------------------------------------------------------
   60
   61   Simple sketch of the ontology:
   62
   63
   64                              /     /         \       \
   65                         entity   event(n)  time(n)   abstraction(n)
   66                         /    \                     /        \
   67                   object(n)  organism       organisation     
   68                              /     \
   69                         animal    person
   70                                   /    \
   71                              man(m)    woman(f)
   72
   73--------------------------------------------------------------------------- */