Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-discussion] making clause in algernon tab

Micheal Hewett mike at
Thu May 21 10:17:10 PDT 2009

You can use the :INSTANCE command:

(:INSTANCE PDrug Biopsy)


Micheal Hewett, PhD
CEO, Hewett Research
mike at

Hello there,
my question is about algernon tab for making clause
I want to know how can I specify
that a value is kind of an instance in a clause?
for example if "biopsy" would be an instance
of "Drug" class in my project and "Pdrug" would
be a slot of "Patient" class how can
I mention that "biopsy" is an
instance of "Drug" in below clause?

(PDrug ?patient Biopsy)

if I enter this clause there would be this error:
whether Biopsy is of type [drug] is unknown
in (PDrug ?patient Biopsy)

Thanks in advance
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-discussion mailing list