Made &%documentation a ternary relation throughout.

ontologyportal · Oct 26, 2007 · 1926264 · 1926264
1 parent b00526e
commit 1926264
Show file tree

Hide file tree

Showing 16 changed files with 6,251 additions and 6,250 deletions.
diff --git a/FinancialOntology.kif b/FinancialOntology.kif
diff --git a/Geography.kif b/Geography.kif
diff --git a/Government.kif b/Government.kif
diff --git a/Justice.kif b/Justice.kif
@@ -19,7 +19,7 @@
 (domain detainedAtTimeInPlace 2 TimePosition)
 (domain detainedAtTimeInPlace 3 Object)
 
-(documentation detainedAtTimeInPlace "(&%detainedAtTimeInPlace ?AGENT
+(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.")
@@ -34,7 +34,7 @@ or authoritative agent for a time and at a location specified by ?TIME and
 (domain observedAtTimeInPlace 3 TimePosition)
 (domain observedAtTimeInPlace 4 Object)
 
-(documentation observedAtTimeInPlace "(&%observedAtTimeInPlace
+(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

diff --git a/Merge.kif b/Merge.kif