-
Notifications
You must be signed in to change notification settings - Fork 71
/
Justice.kif
105 lines (86 loc) · 3.58 KB
/
Justice.kif
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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
;; Access to and use of these products is governed by the GNU General Public
;; License <http://www.gnu.org/copyleft/gpl.html>.
;; By using these products, you agree to be bound by the terms
;; of the GPL.
;; Those who are interested in making use of this ontology are requested
;; to contact Adam Pease (apease [at] articulatesoftware [dot] com).
;; We ask the people using or referencing this work cite our primary paper:
;; Niles, I., and Pease, A. 2001. Towards a Standard Upper Ontology. In
;; Proceedings of the 2nd International Conference on Formal Ontology in
;; Information Systems (FOIS-2001), Chris Welty and Barry Smith, eds,
;; Ogunquit, Maine, October 17-19, 2001. See also www.ontologyportal.org
(instance detainedAtTimeInPlace TernaryPredicate)
(domain detainedAtTimeInPlace 1 SentientAgent)
(domain detainedAtTimeInPlace 2 TimePosition)
(domain detainedAtTimeInPlace 3 Object)
(documentation detainedAtTimeInPlace EnglishLanguage "(&%detainedAtTimeInPlace ?AGENT
?TIME ?PLACE) means that ?AGENT is held or confined by some more powerful
or authoritative agent for a time and at a location specified by ?TIME and
?PLACE.")
(<=>
(detainedAtTimeInPlace ?AGENT ?TIME ?PLACE)
(playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE))
(instance observedAtTimeInPlace QuaternaryPredicate)
(domain observedAtTimeInPlace 1 Object)
(domain observedAtTimeInPlace 2 AutonomousAgent)
(domain observedAtTimeInPlace 3 TimePosition)
(domain observedAtTimeInPlace 4 Object)
(documentation observedAtTimeInPlace EnglishLanguage "(&%observedAtTimeInPlace
?OBJ ?AGENT ?TIME ?PLACE) means that during the time specified by
?TIME, ?OBJ is observed by ?AGENT to be in the location specified
by ?PLACE. Note that in the implicit &%Seeing event, the
physical distance between the &%patient ?OBJ and the &%agent
?AGENT might be great (e.g., a hunter using binoculars to spot
Bighorn sheep on a distant mountainside). Therefore, ?PLACE
denotes the specific location of ?OBJ at ?TIME, and not the
possibly much more extensive region encompassed by the &%Seeing
event.")
(=>
(observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
(locatedAtTime ?OBJ ?TIME ?PLACE))
(=>
(observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
(exists (?SEEING)
(and
(instance ?SEEING Seeing)
(agent ?SEEING ?AGENT)
(during (WhenFn ?SEEING) ?TIME)
(located ?SEEING ?PLACE)
(patient ?SEEING ?OBJ))))
(=>
(and
(instance ?SEEING Seeing)
(patient ?SEEING ?OBJ)
(agent ?SEEING ?AGENT)
(instance ?OBJ Object)
(time ?SEEING ?TIME)
(holdsDuring ?TIME (located ?OBJ ?PLACE)))
(observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE))
(=>
(observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
(playsRoleInEventOfType ?OBJ patient Seeing ?TIME ?PLACE))
(=>
(observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
(playsRoleInEventOfType ?AGENT agent Seeing ?TIME ?PLACE))
;;;;; Legal subjects ;;;;;
;; International law
;; Constitutional and administrative law
;; Criminal law
(instance Criminal SocialRole)
(documentation Criminal EnglishLanguage "The Attribute of a CognitiveAgent when he/ she has been convicted of some &%CriminalAction.")
(=>
(and
(instance ?P Human)
(attribute ?P Criminal))
(exists (?CA ?LC)
(and
(instance ?CA CriminalAction)
(instance ?LC LegalConviction)
(refers ?LC ?CA)
(patient ?LC ?P))))
; if someone is a criminal there exists a (Legal) criminal Action ?C and conviction such that the conviction refers to the action and the conviction applies to the person.
;; Contract law
;; Tort law
;; Property law
;; Equity and trusts
;; Further disciplines