|
Symbol Type |
Symbol (example) |
Meaning |
F-Logic Semantic |
Reference |
|
class instance |
 |
Roel
is a person |
roel:person. |
Link |
|
subclass |
 |
Every
ecologist is a scientist |
ecologist::scientist |
Link |
|
attribute with single value |
 |
Roel's wife is Tiny |
roel[wife-->tiny]. |
Link |
|
attribute with multiple values |
 |
Roel
owns Roel's bicicle, Roel's farm, Sachha, Noosam |
roel[owns -->>{roels_bicycle, roels_farm, sachha, noosam}]. |
Link |
|
signature for single valued attribute |
 |
Every
person's father is a man |
person[father=>man]. |
Link |
|
signature for multi valued attribute |
 |
Every
person's daughter is a woman. |
person[daughter=>>woman] . |
Link |
|
instances query |
 |
Find
all X who are ecologist |
?-X:ecologist. |
Link |
| and
query |
 |
Find
all X which both Roel and Tiny own |
?-roel[owns-->>X],
tiny[owns-->>X]. |
Link |
