For the NLP crowd.
How do you represent IS ? Do you differentiate IS from TYPE-OF (i.e., IS-A), or
INSTANCE-OF ?
Take for example,
IS(apple, fruit) - TYPE-OFIS(John_Smith, Politician) - INSTANCE-OFIS(my_coat,
green) - ???
Cyc uses individuals and collection and treats generalization as set membership
between the instance and the collection. They use Genls (generalizes) rather
than IS-A. But I don't recall how they representIS.
How do you represent these distinctions?
~PM
-------------------------------------------
AGI
Archives: https://www.listbox.com/member/archive/303/=now
RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424
Modify Your Subscription:
https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657
Powered by Listbox: http://www.listbox.com
