/
dolce_participation.clif
62 lines (49 loc) · 2.62 KB
/
dolce_participation.clif
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 3.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/3.0/legalcode.
*
* Contributors:
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_participation/dolce_participation.clif
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Comment: DOLCE axioms from 4.3.4 Participation")
(cl-comment "Import the DOLCE present theory.")
(cl-imports http://colore.oor.net/dolce_present/dolce_present.clif)
(cl-comment "A33 to Ad37")
(cl-comment "Td6 to Td7")
(cl-comment "Section 4.3.4 - Participation")
(cl-comment "Argument Restrictions")
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Identifier: dolce_Ad33")
(forall (x y t)
(if (PC x y t)
(and (ED x)(PD y)(T t))))
(cl-comment "Existential Axioms")
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Identifier: dolce_Ad34")
(forall (x t)
(if (and (PD x) (PRE x t))
(exists (y) (PC y x t))))
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Identifier: dolce_Ad35")
(forall (x)
(if (ED x)
(exists (y t) (PC x y t))))
(cl-comment "Links With Other Primitives")
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Identifier: dolce_Ad36")
(forall (x y t)
(if (PC x y t)
(and (PRE x t)(PRE y t))))
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Possibly part of the same module as Ad18? Calls the parthood relation.")
(cl-comment "Identifier: dolce_Ad37")
(forall (x y t)
(iff (PC x y t)
(forall (t1)
(if (P t1 t)
(PC x y t1)))))
)