Modified lines:  None
Added line:  None
Removed line:  None
Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.
  akt-original-metaOnt       akt-refined-metaOnt
  107 lines
2312 bytes
Last modified : Wed Aug 17 10:16:52 2005
       107 lines
2312 bytes
Last modified : Wed Aug 17 10:17:13 2005
1 (In-Package "ONTOLINGUA-USER")     1 (In-Package "ONTOLINGUA-USER")
2     2
3 ;;; Written by user Fionam from session "psl start" owned by group JUST-ME     3 ;;; Written by user Fionam from session "psl start" owned by group JUST-ME
4 ;;; Date: Feb 6, 2005 22:40     4 ;;; Date: Feb 6, 2005 22:40
5 ;;; Definitions: 24     5 ;;; Definitions: 24
6     6
7     7
8 (Define-Ontology     8 (Define-Ontology
9      Psl-Meta     9      Psl-Meta
10      (Frame-Ontology)     10      (Frame-Ontology)
11    "Not supplied yet."     11    "Not supplied yet."
12    :Io-Package     12    :Io-Package
13    "ONTOLINGUA-USER")     13    "ONTOLINGUA-USER")
14     14
15     15
16 (In-Ontology (Quote Akt-Meta))     16 (In-Ontology (Quote Akt-Meta))
17     17
18     18
19     19
20 ;;; Action     20 ;;; Action
21     21
22 (Define-Class Action (?X) "Not supplied yet." :Def (And (Thing ?X)))     22 (Define-Class Action (?X) "Not supplied yet." :Def (And (Thing ?X)))
23     23
24     24
25 ;;; Membership-Agent     25 ;;; Membership-Agent
26     26
27 (Define-Frame Membership-Agent :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Membership-Agent Become-Member-Organization)))     27 (Define-Frame Membership-Agent :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Membership-Agent Become-Member-Organization)))
28     28
29     29
30 ;;; Email-Agent     30 ;;; Email-Agent
31     31
32 (Define-Frame Email-Agent :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Email-Agent Generate-Email-Address)))     32 (Define-Frame Email-Agent :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Email-Agent Generate-Email-Address)))
33     33
34     34
35 ;;; Wait-Fact     35 ;;; Wait-Fact
36     36
37 (Define-Class Wait-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))     37 (Define-Class Wait-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))
38     38
39     39
40 ;;; Generate-Email-Address     40 ;;; Generate-Email-Address
41     41
42 (Define-Individual Generate-Email-Address (Action) "Not supplied yet.")     42 (Define-Individual Generate-Email-Address (Action) "Not supplied yet.")
43     43
44     44
45 ;;; Become-Member-Organization     45 ;;; Become-Member-Organization
46     46
47 (Define-Individual Become-Member-Organization (Action) "Not supplied yet.")     47 (Define-Individual Become-Member-Organization (Action) "Not supplied yet.")
48     48
49     49
50 ;;; Inform     50 ;;; Inform
51     51
52 (Define-Class Inform (?X) "Not supplied yet." :Def (And (Predicate ?X)))     52 (Define-Class Inform (?X) "Not supplied yet." :Def (And (Predicate ?X)))
53     53
54     54
55 ;;; Transitive     55 ;;; Transitive
56     56
57 (Define-Class Transitive (?X) "Not supplied yet." :Def (And (Predicate ?X)))     57 (Define-Class Transitive (?X) "Not supplied yet." :Def (And (Predicate ?X)))
58     58
59     59
60 ;;; Ask-Fact     60 ;;; Ask-Fact
61     61
62 (Define-Class Ask-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))     62 (Define-Class Ask-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))
63     63
64     64
65 ;;; Predicate     65 ;;; Predicate
66     66
67 (Define-Class Predicate (?X) "Not supplied yet." :Def (And (Thing ?X)))     67 (Define-Class Predicate (?X) "Not supplied yet." :Def (And (Thing ?X)))
68     68
69     69
70 ;;; Agent-Needed     70 ;;; Agent-Needed
71     71
72 (Define-Relation Agent-Needed (?Agent ?Action) "Not supplied yet." :Def (And (Agent ?Agent) (Action ?Action)))     72 (Define-Relation Agent-Needed (?Agent ?Action) "Not supplied yet." :Def (And (Agent ?Agent) (Action ?Action)))
73     73
74     74
75 ;;; Agent     75 ;;; Agent
76     76
77 (Define-Class Agent (?X) "Not supplied yet." :Def (And (Thing ?X)))     77 (Define-Class Agent (?X) "Not supplied yet." :Def (And (Thing ?X)))
78     78
79     79
80 ;;; My-Fact     80 ;;; My-Fact
81     81
82 (Define-Class My-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))     82 (Define-Class My-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))
83     83
84     84
85 ;;; Has-Research-Interest     85 ;;; Has-Research-Interest
86     86
87 (Define-Individual Has-Research-Interest (Predicate) "Not supplied yet.")     87 (Define-Individual Has-Research-Interest (Predicate) "Not supplied yet.")
88     88
89     89
90 ;;; Has-Subscription-Fee     90 ;;; Has-Subscription-Fee
91     91
92 (Define-Individual Has-Subscription-Fee (Predicate) "Not supplied yet.")     92 (Define-Individual Has-Subscription-Fee (Predicate) "Not supplied yet.")
93     93
94     94
95 ;;; Member-Organization     95 ;;; Member-Organization
96     96
97 (Define-Individual Member-Organization (Predicate) "Not supplied yet.")     97 (Define-Individual Member-Organization (Predicate) "Not supplied yet.")
98     98
99     99
100 ;;; Member-Academic-Unit     100 ;;; Member-Academic-Unit
101     101
102 (Define-Individual Member-Academic-Unit (Predicate) "Not supplied yet.")     102 (Define-Individual Member-Academic-Unit (Predicate) "Not supplied yet.")
103     103
104     104
105 ;;; Has-Email-Address     105 ;;; Has-Email-Address
106     106
107 (Define-Frame Has-Email-Address :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Predicate)) :Axioms ((Inform Has-Email-Address)))     107 (Define-Frame Has-Email-Address :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Predicate)) :Axioms ((Inform Has-Email-Address)))
Generated by diff2html on Wed Aug 17 10:28:43 2005
Command-line: ./diff2html akt-original-metaOnt akt-refined-metaOnt