Modified lines:  None
Added line:  1, 145, 146, 147, 148, 149, 150
Removed line:  None
Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.
  sumo-original-metaOnt       sumo-refined-metaOnt
  143 lines
2756 bytes
Last modified : Wed Aug 17 10:18:00 2005
       150 lines
2831 bytes
Last modified : Wed Aug 17 10:22:30 2005
        1
1 (In-Package "ONTOLINGUA-USER")     2 (In-Package "ONTOLINGUA-USER")
2     3
3 ;;; Written by user Fionam from session "Session name not supplied [Tuesday, 25 January 2005, 03:10:57]" owned by group JUST-ME     4 ;;; Written by user Fionam from session "Session name not supplied [Tuesday, 25 January 2005, 03:10:57]" owned by group JUST-ME
4 ;;; Date: Jan 25, 2005 04:38     5 ;;; Date: Jan 25, 2005 04:38
5 ;;; Definitions: 26     6 ;;; Definitions: 26
6     7
7     8
8 (Define-Ontology     9 (Define-Ontology
9      Sumo-Meta     10      Sumo-Meta
10      (Frame-Ontology)     11      (Frame-Ontology)
11    "Not supplied yet."     12    "Not supplied yet."
12    :Io-Package     13    :Io-Package
13    "ONTOLINGUA-USER")     14    "ONTOLINGUA-USER")
14     15
15     16
16 (In-Ontology (Quote Sumo-Meta))     17 (In-Ontology (Quote Sumo-Meta))
17     18
18     19
19     20
20 ;;; Patient     21 ;;; Patient
21     22
22 (Define-Class Patient (?X) "Not supplied yet." :Def (And (Predicate ?X)))     23 (Define-Class Patient (?X) "Not supplied yet." :Def (And (Predicate ?X)))
23     24
24     25
25 ;;; Agent2     26 ;;; Agent2
26     27
27 (Define-Individual Agent2 (Agent) "Not supplied yet.")     28 (Define-Individual Agent2 (Agent) "Not supplied yet.")
28     29
29     30
30 ;;; Inform     31 ;;; Inform
31     32
32 (Define-Class Inform (?X) "Not supplied yet." :Def (And (Predicate ?X)))     33 (Define-Class Inform (?X) "Not supplied yet." :Def (And (Predicate ?X)))
33     34
34     35
35 ;;; Do-A     36 ;;; Do-A
36     37
37 (Define-Frame Do-A :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Action)) :Axioms ((Agent-Needed Do-A-Agent Do-A)))     38 (Define-Frame Do-A :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Action)) :Axioms ((Agent-Needed Do-A-Agent Do-A)))
38     39
39     40
40 ;;; Refers     41 ;;; Refers
41     42
42 (Define-Class Refers (?X) "Not supplied yet." :Def (And (Predicate ?X)))     43 (Define-Class Refers (?X) "Not supplied yet." :Def (And (Predicate ?X)))
43     44
44     45
45 ;;; Performs     46 ;;; Performs
46     47
47 (Define-Class Performs (?X) "Not supplied yet." :Def (And (Predicate ?X)))     48 (Define-Class Performs (?X) "Not supplied yet." :Def (And (Predicate ?X)))
48     49
49     50
50 ;;; Pseudo-Rel     51 ;;; Pseudo-Rel
51     52
52 (Define-Class Pseudo-Rel (?X) "Not supplied yet." :Def (And (Predicate ?X)))     53 (Define-Class Pseudo-Rel (?X) "Not supplied yet." :Def (And (Predicate ?X)))
53     54
54     55
55 ;;; Action     56 ;;; Action
56     57
57 (Define-Class Action (?X) "Not supplied yet." :Def (And (Thing ?X)))     58 (Define-Class Action (?X) "Not supplied yet." :Def (And (Thing ?X)))
58     59
59     60
60 ;;; Agent     61 ;;; Agent
61     62
62 (Define-Class Agent (?X) "Not supplied yet." :Def (And (Thing ?X)))     63 (Define-Class Agent (?X) "Not supplied yet." :Def (And (Thing ?X)))
63     64
64     65
65 ;;; Agent1     66 ;;; Agent1
66     67
67 (Define-Individual Agent1 (Agent) "Not supplied yet.")     68 (Define-Individual Agent1 (Agent) "Not supplied yet.")
68     69
69     70
70 ;;; Result     71 ;;; Result
71     72
72 (Define-Class Result (?X) "Not supplied yet." :Def (And (Predicate ?X)))     73 (Define-Class Result (?X) "Not supplied yet." :Def (And (Predicate ?X)))
73     74
74     75
75 ;;; Do-B-Agent     76 ;;; Do-B-Agent
76     77
77 (Define-Individual Do-B-Agent (Agent) "Not supplied yet.")     78 (Define-Individual Do-B-Agent (Agent) "Not supplied yet.")
78     79
79     80
80 ;;; Domain-Rel     81 ;;; Domain-Rel
81     82
82 (Define-Class Domain-Rel (?X) "Not supplied yet." :Def (And (Predicate ?X)))     83 (Define-Class Domain-Rel (?X) "Not supplied yet." :Def (And (Predicate ?X)))
83     84
84     85
85 ;;; Tell-Agent     86 ;;; Tell-Agent
86     87
87 (Define-Frame Tell-Agent :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Tell-Agent Tell)))     88 (Define-Frame Tell-Agent :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Tell-Agent Tell)))
88     89
89     90
90 ;;; My-Fact     91 ;;; My-Fact
91     92
92 (Define-Class My-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))     93 (Define-Class My-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))
93     94
94     95
95 ;;; Ask-Fact     96 ;;; Ask-Fact
96     97
97 (Define-Class Ask-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))     98 (Define-Class Ask-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))
98     99
99     100
100 ;;; Destination     101 ;;; Destination
101     102
102 (Define-Class Destination (?X) "Not supplied yet." :Def (And (Predicate ?X)))     103 (Define-Class Destination (?X) "Not supplied yet." :Def (And (Predicate ?X)))
103     104
104     105
105 ;;; Tell     106 ;;; Tell
106     107
107 (Define-Individual Tell (Action) "Not supplied yet.")     108 (Define-Individual Tell (Action) "Not supplied yet.")
108     109
109     110
110 ;;; Transitive     111 ;;; Transitive
111     112
112 (Define-Class Transitive (?X) "Not supplied yet." :Def (And (Predicate ?X)))     113 (Define-Class Transitive (?X) "Not supplied yet." :Def (And (Predicate ?X)))
113     114
114     115
115 ;;; Knows     116 ;;; Knows
116     117
117 (Define-Class Knows (?X) "Not supplied yet." :Def (And (Predicate ?X)))     118 (Define-Class Knows (?X) "Not supplied yet." :Def (And (Predicate ?X)))
118     119
119     120
120 ;;; Wait-Fact     121 ;;; Wait-Fact
121     122
122 (Define-Class Wait-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))     123 (Define-Class Wait-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X)))
123     124
124     125
125 ;;; Do-B     126 ;;; Do-B
126     127
127 (Define-Frame Do-B :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Action)) :Axioms ((Agent-Needed Do-B-Agent Do-B)))     128 (Define-Frame Do-B :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Action)) :Axioms ((Agent-Needed Do-B-Agent Do-B)))
128     129
129     130
130 ;;; Predicate     131 ;;; Predicate
131     132
132 (Define-Class Predicate (?X) "Not supplied yet." :Def (And (Thing ?X)))     133 (Define-Class Predicate (?X) "Not supplied yet." :Def (And (Thing ?X)))
133     134
134     135
135 ;;; Do-A-Agent     136 ;;; Do-A-Agent
136     137
137 (Define-Individual Do-A-Agent (Agent) "Not supplied yet.")     138 (Define-Individual Do-A-Agent (Agent) "Not supplied yet.")
138     139
139     140
140 ;;; Agent-Needed     141 ;;; Agent-Needed
141     142
142 (Define-Function Agent-Needed (?Agent-0) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Action ?Value)))     143 (Define-Function Agent-Needed (?Agent-0) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent-0) (Action ?Value)))
143     144
        145
        146 ;;; Represents
        147
        148 (Define-Class Represents (?X) :Def (And (Refers (?X)))
        149
        150
Generated by diff2html on Wed Aug 17 10:29:29 2005
Command-line: ./diff2html sumo-original-metaOnt sumo-refined-metaOnt