public:t-622-arti-11-1:lab_6_materials
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
public:t-622-arti-11-1:lab_6_materials [2011/03/02 18:56] – angelo | public:t-622-arti-11-1:lab_6_materials [2024/04/29 13:33] (current) – external edit 127.0.0.1 | ||
---|---|---|---|
Line 8: | Line 8: | ||
* You can download [[http:// | * You can download [[http:// | ||
* PowerLoom documentation in [[http:// | * PowerLoom documentation in [[http:// | ||
- | * **Helpful** commands: < | + | * Some **helpful** commands: < |
(all-facts-of X) ;; prints out all known facts about X | (all-facts-of X) ;; prints out all known facts about X | ||
(help assert) | (help assert) | ||
Line 28: | Line 28: | ||
</ | </ | ||
- **Defining a basic type/class predicate (a unary relation) called a " | - **Defining a basic type/class predicate (a unary relation) called a " | ||
- | (defconcept Person(? | + | (defconcept Person(? |
(defconcept Male (?p Person)) | (defconcept Male (?p Person)) | ||
(defconcept Female (?p Person)) | (defconcept Female (?p Person)) | ||
Line 70: | Line 70: | ||
* Is Zod Mary's parent? | * Is Zod Mary's parent? | ||
- **Defining more family Relations: | - **Defining more family Relations: | ||
- | * SisterOf | + | * SisterOf; |
- | * AreSiblings | + | * AreSiblings; |
* SonOf, DaughterOf, ChildOf; | * SonOf, DaughterOf, ChildOf; | ||
* GrandmotherOf and GrandfatherOf; | * GrandmotherOf and GrandfatherOf; |
/var/www/cadia.ru.is/wiki/data/attic/public/t-622-arti-11-1/lab_6_materials.1299092197.txt.gz · Last modified: 2024/04/29 13:32 (external edit)