forked from ontologyportal/sumo
-
Notifications
You must be signed in to change notification settings - Fork 2
/
english_format.kif
1856 lines (952 loc) · 55.6 KB
/
english_format.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
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
;
; Copyright (C) 2002 Michal Sevcenko
;
; This program is free software; you can redistribute it and/or
; modify it under the terms of the GNU Lesser General Public
; License as published by the Free Software Foundation; either
; version 2.1 of the License, or (at your option) any later version.
;
; This program is distributed in the hope that it will be useful,
; but WITHOUT ANY WARRANTY; without even the implied warranty of
; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
; Lesser General Public License for more details.
;
; You should have received a copy of the GNU Lesser General Public
; License along with this program; if not, write to the Free Software
; Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
;
; This file contains definitions of auxiliary predicates that help to
; define language representations of predicates defined within SUMO.
; The 'format' ternary predicate associates a concept (either relation or
; a function with a string. When there is a need to visualise certain
; concept in natural language, the associated string is used. The string
; generally contains a natural language description of the concept, but
; it may contain special tags which are interpreted with the browser.
; The description of these tags follows:
; &%token - specifies a token that will be made into a hypertext link
; to concept being visualized
; %1, %2, ... - this tag will be substituted with a natural language
; representation of the concept's respective argument
; %n{text} will be replaced either with empty string, if a predicate
; is being rendered as positive, or 'text' otherwise; the %n tag
; can be used as a shortcut for %n{not}
; %p{text} replaced with 'text' for positive rendering and with an
; empty string for negative rendering
; %*{range}[delim] will be replaced with a list of natural-language
; representation of a subset of arguments; range specifies which
; arguments will be included - it is a comma separated list of
; numbers or ranges; for example, range '1-4,6' denotes first,
; second, third, fourth and sixth argument; the delim parameter
; specifies the delimiter which will be used to separate representations
; of arguments; both {range} and [delim] may be ommited - range
; defaults to all arguments, and delim defaults to a single space
; %% will be replaced with a single percent character
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; BASE ONTOLOGY
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;
; Relations
(format EnglishLanguage agent "%2 is %n an &%agent of %1")
(format EnglishLanguage areaOfResponsibility "%1 is %n responsible for %2 events in %3")
(format EnglishLanguage arrested "%2 is %n placed under arrest during %1")
(format EnglishLanguage attribute "%2 is %n an &%attribute of %1")
(format EnglishLanguage believes "%1 %n{doesn't} &%believe%p{s} %2")
(format EnglishLanguage benefits "%2 is %n a beneficiary of %1")
(format EnglishLanguage between "%2 is %n &%between %1 and %3")
(format EnglishLanguage capability "%3 is %n &%capable of doing %1 as a %2")
(format EnglishLanguage cargo "%2 is %n carried as &%cargo during %1")
(format EnglishLanguage causes "%1 %n{doesn't} &%cause%p{s} %2")
(format EnglishLanguage closedOn "%1 is %n &%closed on %2")
(format EnglishLanguage component "%1 is %n a &%component of %2")
(format EnglishLanguage conditionalProbability "&%probability of %1 provided that %2 holds is %n %3")
(format EnglishLanguage considers "%1 %n{doesn't} &%consider%p{s} %2")
(format EnglishLanguage containsInformation "%1 %n{doesn't} &%contain%p{s} information %2")
(format EnglishLanguage controlled "%2 %n{does not} come%p{s} to be physically &%controlled by an &%agent during %1")
(format EnglishLanguage conveyance "%2 is %n a &%conveyance during %1")
(format EnglishLanguage copy "%1 is %n a &%copy of %2")
(format EnglishLanguage decreasesLikelihood "%1 %n{doesn't} &%decrease%p{s} likelihood of %2")
(format EnglishLanguage desires "%1 %n{doesn't} &%desire%p{s} %2")
(format EnglishLanguage destination "%1 %n{doesn't} &%end%p{s} up at %2")
(format EnglishLanguage distributes "%1 is %n &%distributive over %2")
(format EnglishLanguage documentation "%n %3")
(format EnglishLanguage equivalenceRelationOn "%1 is %n an &%equivalence relation on %2")
(format EnglishLanguage exactlyLocated "%1 is %n &%exactly located in %2")
(format EnglishLanguage experiencer "%2 %n{doesn't} &%experience%p{s} %1")
(format EnglishLanguage exploits "%1 %n{doesn't} &%exploit%p{s} %2")
(format EnglishLanguage faces "%1 %n{doesn't} &%face%p{s} %2")
(format EnglishLanguage gainsControl "%2 %n{does not} gain%p{s} physical control over some object during %1")
(format EnglishLanguage greaterThan "%1 is %n &%greater than %2")
(format EnglishLanguage greaterThanOrEqualTo "%1 is %n &%greater than or equal to %2")
(format EnglishLanguage hasPurpose "%1 %p{has} %n{does not have} the purpose %2")
(format EnglishLanguage hasPurposeForAgent "%1 %p{has} %n{does not have} the purpose %2 for %3")
(format EnglishLanguage hasSkill "%2 %p{has} %n{does not have} the &%skill to do
%1")
(format EnglishLanguage holdsDuring "%2 %n{doesn't} hold%p{s} &%during %1")
(format EnglishLanguage holdsRight "%2 %p{has} %n{doesn't have} the &%right to perform %1")
(format EnglishLanguage increasesLikelihood "%1 %n{doesn't} &%increase%p{s} likelihood of %2")
(format EnglishLanguage independentProbability "probability of %1 and %2 is %n &%independent")
(format EnglishLanguage initialList "%1 %n{doesn't} &%start%p{s} %2")
(format EnglishLanguage inList "%1 is %n a &%member of %2")
(format EnglishLanguage inScopeOfInterest "%1 is %n &%interested in %2")
(format EnglishLanguage instrument "%2 is %n an &%instrument for %1")
;(format EnglishLanguage irreflexiveOn "%1 is %n &%irreflexive on %2")
(format EnglishLanguage knows "%1 %n{doesn't} &%know%p{s} %2")
(format EnglishLanguage lessThan "%1 is %n &%less than %2")
(format EnglishLanguage lessThanOrEqualTo "%1 is %n &%less than or equal to %2")
(format EnglishLanguage located "%1 is %n &%located at %2")
(format EnglishLanguage losesControl "%2 %n{does not} lose%p{s} physical control of some object during %1")
(format EnglishLanguage manner "%1 is %n performed in the manner %2")
(format EnglishLanguage material "%2 is %n &%made of %1")
(format EnglishLanguage member "%1 is %n a &%member of %2")
(format EnglishLanguage memberAtTime "%1 is %n a &%member of %2 during %3")
(format EnglishLanguage needs "%1 %n{doesn't} &%need%p{s} %2")
(format EnglishLanguage origin "%1 %n{doesn't} &%originate%p{s} at %2")
(format EnglishLanguage part "%1 is %n a &%part of %2")
(format EnglishLanguage partialOrderingOn "%1 is %n &%partial ordering on %2")
(format EnglishLanguage partlyLocated "%1 is %n &%partly located in %2")
(format EnglishLanguage patient "%2 is %n a &%patient of %1")
(format EnglishLanguage piece "%1 is %n a &%piece of %2")
(format EnglishLanguage possesses "%1 %n{doesn't} &%possess%p{es} %2")
(format EnglishLanguage prefers "%1 %n{doesn't} &%prefer%p{s} %2 over %3")
(format EnglishLanguage properPart "%1 is %n a &%proper &%part of %2")
(format EnglishLanguage property "%1 %n{does not have} the &%attribute %2")
(format EnglishLanguage reflexiveOn "%1 is %n &%reflexive on %2")
(format EnglishLanguage resource "%2 is %n a &%resource for %1")
(format EnglishLanguage result "%2 is %n a &%result of %1")
(format EnglishLanguage subCollection "%1 is %n a proper &%sub-collection of %2")
(format EnglishLanguage subProposition "%1 is %n a &%sub-proposition of %2")
(format EnglishLanguage subList "%1 is %n a &%sublist of %2")
(format EnglishLanguage time "%1 %n{doesn't} exist%p{s} &%during %2")
(format EnglishLanguage totalOrderingOn "%1 is %n &%total &%ordering on %2")
(format EnglishLanguage trichotomizingOn "%1 is %n &%trichotomizing on %2")
(format EnglishLanguage truth "%1 &%is %n %2")
(format EnglishLanguage wants "%1 %n{doesn't} &%want%p{s} %2")
(format EnglishLanguage confersObligation "%2 %n{doesn't} &%obligate%p{s} %3 to perform task of the type %1")
(format EnglishLanguage confersRight "%2 %n{doesn't} &%allow%p{s} %3 to perform task of the type %1")
(format EnglishLanguage crosses "%1 %n{doesn't} &%crosse%p{s} %2")
(format EnglishLanguage equivalentContentClass "%1 is %n &%equivalent to %2")
(format EnglishLanguage equivalentContentInstance "%1 is %n &%equivalent to %2")
(format EnglishLanguage expressedInLanguage "%1 is %n &%expressed in language %2")
(format EnglishLanguage holdsObligation "%2 is %n &%obliged to perform tasks of type %1")
(format EnglishLanguage inhibits "%1 %n{doesn't} &%inhibit%p{s} %2")
(format EnglishLanguage penetrates "%1 %n{doesn't} &%penetrate%p{s} %2")
(format EnglishLanguage precondition "%1 is%n{n't} a &%precondition of %2")
(format EnglishLanguage prevents "%1 %n{doesn't} &%prevent%p{s} the occurrence of %2")
(format EnglishLanguage realization "%1 %n{doesn't} &%express%p{es} the content of %2")
(format EnglishLanguage refers "%1 %n{doesn't} include%p{s} a &%reference to %2")
(format EnglishLanguage represents "%1 %n{doesn't} &%express%p{es} %2")
(format EnglishLanguage representsForAgent "%3 %n{doesn't} &%use%p{s} %1 to stand for %2")
(format EnglishLanguage representsInLanguage "%1 %n{doesn't} &%represent%p{s} %2 in the language %3")
(format EnglishLanguage serviceProvider "%2 %n{doesn't} provide%p{s} a service during %1")
(format EnglishLanguage serviceRecipient "%2 %n{doesn't} receive%p{s} a service during %1")
(format EnglishLanguage subPlan "%1 is %n a &%sub-plan of %2")
(format EnglishLanguage subsumesContentClass "%1 %n{doesn't} &%subsume%p{s} the content of %2")
(format EnglishLanguage subsumesContentInstance "%1 %n{doesn't} &%subsume%p{s} the content of %2")
(format EnglishLanguage transported "%2 is %n &%transported during %1")
(format EnglishLanguage traverses "%1 %n{doesn't} &%traverse%p{s} %2")
(format EnglishLanguage uses "%2 %n{doesn't} &%use%p{s} %1")
;;;;;;;;;;;;;;;;;;
; Functions
;; (format EnglishLanguage AbstractionFn "the &%description of %1")
(format EnglishLanguage BackFn "the &%back of %1")
(format EnglishLanguage ExtensionFn "the &%class corresponding to %1")
(format EnglishLanguage FrontFn "the &%front of %1")
(format EnglishLanguage ListFn "(%*[,])")
(format EnglishLanguage ListOrderFn "%2th &%element of %1")
(format EnglishLanguage ListLengthFn "&%length of %1")
(format EnglishLanguage ListConcatenateFn "the &%list composed of %1 and %2")
(format EnglishLanguage PropertyFn "&%belongings of %1")
(format EnglishLanguage ProbabilityFn "the &%probability of %1")
(format EnglishLanguage WhereFn "the place &%where %1 was at %2")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; STRUCTURAL ONTOLOGY
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;
; Relations
(format EnglishLanguage contraryAttribute "%1 is %n the &%opposite of %2")
(format EnglishLanguage disjoint "%1 is %n &%disjoint from %2")
(format EnglishLanguage disjointDecomposition "%1 is %n &%disjointly &%decomposed into %*{2-}[,]")
(format EnglishLanguage disjointRelation "%1 and %2 are %n &%disjoint")
(format EnglishLanguage domain "the number %2 argument of %1 is %n an &%instance of %3")
(format EnglishLanguage domainSubclass "the number %2 argument of %1 is %n a &%subclass of %3")
(format EnglishLanguage entails "%1 %n{doesn't} &%entail%p{s} %2")
(format EnglishLanguage equal "%1 is %n &%equal to %2")
(format EnglishLanguage exhaustiveDecomposition "%1 is %n &%covered by %*{2-}[,]")
(format EnglishLanguage immediateInstance "%1 is %n an &%immediate instance of %2")
(format EnglishLanguage immediateSubclass "%1 is %n an &%immediate subclass of %2")
(format EnglishLanguage instance "%1 is %n an &%instance of %2")
(format EnglishLanguage inverse "%1 is %n an &%inverse of %2")
(format EnglishLanguage names "%2 %n{doesn't have} %p{has} &%name %1")
(format EnglishLanguage partition "%1 is %n &%exhaustively &%partitioned into %*{2-}[,]")
(format EnglishLanguage range "the &%range of %1 is %n an instance of %2")
(format EnglishLanguage relatedInternalConcept "%1 is %n &%internally related to %2")
(format EnglishLanguage subAttribute "%1 is %n a &%subattribute of %2")
(format EnglishLanguage subclass "%1 is %n a &%subclass of %2")
(format EnglishLanguage subrelation "%1 is %n a &%subrelation of %2")
(format EnglishLanguage successorAttribute "%1 is %n an immediate &%successor &%attribute of %2")
(format EnglishLanguage successorAttributeClosure "%1 is %n a &%successor &%attribute of %2")
(format EnglishLanguage valence "%1 %p{%&has} %n{doesn't %&have} %2 &%argument(s)")
(format EnglishLanguage rangeSubclass "the values returned by %1 are %n &%subclasses of %2")
(format EnglishLanguage relatedExternalConcept "the concept of %1 in language %3 is %n &%related to the concept of %2")
(format EnglishLanguage subsumedExternalConcept "the concept of %1 in language %3 is %n &%subsumed by the concept of %2")
(format EnglishLanguage subsumingExternalConcept "the concept of %1 in language %3 %n{doesn't} &%subsume%p{s} the concept of %2")
(format EnglishLanguage synonymousExternalConcept "the concept of %1 in language %3 is %n &%synonymous with the concept of %2")
(format EnglishLanguage uniqueIdentifier "the &%unique identifier of %1 is %n %2")
;;;;;;;;;;;;;;;;;;
; Functions
(format EnglishLanguage AssignmentFn "%1(%*{2-}[,])")
(format EnglishLanguage PowerSetFn "all &%subclasses of %1")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; MEREOTOPOLOGY
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;
; Relations
(format EnglishLanguage bottom "the &%bottom of %2 is %n %1")
(format EnglishLanguage connected "%1 is %n &%connected to %2")
(format EnglishLanguage connects "%1 %n{doesn't} &%connect%p{s} %2 and %3")
(format EnglishLanguage meetsSpatially "%1 %n{doesn't} &%meet%p{s} %2")
(format EnglishLanguage overlapsPartially "%1 %n{doesn't} &%partially &%overlap%p{s} with %2")
(format EnglishLanguage superficialPart "%1 is %n a &%superficial part of %2")
(format EnglishLanguage surface "%1 is %n a &%surface of %2")
(format EnglishLanguage interiorPart "%1 is %n a &%interior part of %2")
(format EnglishLanguage hole "%1 is %n a &%hole in %2")
(format EnglishLanguage fills "%1 %n{doesn't} &%fill%p{s} %2")
(format EnglishLanguage completelyFills "%1 %n{doesn't} &%completely &%fill%p{s} %2")
(format EnglishLanguage partiallyFills "%1 %n{doesn't} &%partially &%fill%p{s} %2")
(format EnglishLanguage properlyFills "%1 %n{doesn't} &%properly &%fill%p{s} %2")
(format EnglishLanguage side "a &%side of %2 is %n %1")
(format EnglishLanguage top "the &%top of %2 is %n %1")
;;;;;;;;;;;;;;;;;;
; Functions
(format EnglishLanguage MereologicalSumFn "the &%union of the parts of %1 and %2")
(format EnglishLanguage MereologicalProductFn "the &%intersection of the parts of %1 and %2")
(format EnglishLanguage MereologicalDifferenceFn "the &%difference between the parts of %1 and %2")
(format EnglishLanguage HoleHostFn "the &%host of the hole %1")
(format EnglishLanguage HoleSkinFn "the &%surface of the hole %1")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; TEMPORAL CONCEPTS
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;
; Relations
(format EnglishLanguage duration "&%duration of %1 is %n %2")
(format EnglishLanguage frequency "%1 %n{doesn't} &%occur%p{s} every %2")
(format EnglishLanguage temporalPart "%1 is %n a &%part of %2")
(format EnglishLanguage starts "%1 %n{doesn't} &%start%p{s} %2")
(format EnglishLanguage finishes "%1 %n{doesn't} &%finish%p{es} %2")
(format EnglishLanguage before "%1 %n{doesn't} happen%p{s} &%before %2")
(format EnglishLanguage beforeOrEqual "%1 %n{doesn't} &%happen%{s} before or at %2")
(format EnglishLanguage temporallyBetween "%2 is %n &%between %1 and %3")
(format EnglishLanguage temporallyBetweenOrEqual "%2 is %n &%between or at %1 and %3")
(format EnglishLanguage overlapsTemporally "%2 %n{doesn't} &%overlap%p{s} %1")
(format EnglishLanguage during "%1 %n{doesn't} take%p{s} place &%during %2")
(format EnglishLanguage meetsTemporally "%1 %n{doesn't} &%meet%p{s} %2")
(format EnglishLanguage earlier "%1 %n{doesn't} happen%p{s} &%earlier than %2")
(format EnglishLanguage cooccur "%1 %n{doesn't} &%occur%p{s} at the same time as %2")
(format EnglishLanguage date "&%date of %1 is %n %2")
;;;;;;;;;;;;;;;;;;
; Functions
(format EnglishLanguage TemporalCompositionFn "&%decomposition of %1 into %3 %2s")
(format EnglishLanguage BeginFn "the &%beginning of %1")
(format EnglishLanguage EndFn "the &%end of %1")
(format EnglishLanguage TimeIntervalFn "&%interval between %1 and %2")
(format EnglishLanguage WhenFn "the &%time of existence of %1")
(format EnglishLanguage PastFn "&%before %1")
(format EnglishLanguage ImmediatePastFn "immediately &%before %1")
(format EnglishLanguage FutureFn "&%after %1")
(format EnglishLanguage ImmediateFutureFn "immediately &%after %1")
(format EnglishLanguage YearFn "the &%year %1")
(format EnglishLanguage MonthFn "the &%month %1")
(format EnglishLanguage DayFn "the &%day %1")
(format EnglishLanguage HourFn "the &%hour %1")
(format EnglishLanguage MinuteFn "the &%minute %1")
(format EnglishLanguage SecondFn "the &%second %1")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; SET/CLASS THEORY
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;
; Relations
(format EnglishLanguage subset "%1 is %n a &%subset of %2")
(format EnglishLanguage element "%1 is %n an &%element of %2")
;;;;;;;;;;;;;;;;;;
; Functions
(format EnglishLanguage UnionFn "the &%union of %1 and %2")
(format EnglishLanguage IntersectionFn "the &%union of %1 and %2")
(format EnglishLanguage RelativeComplementFn "the &%difference between %1 and %2")
(format EnglishLanguage ComplementFn "the &%complement of %1")
(format EnglishLanguage GeneralizedUnionFn "the &%union of all the elements of %1")
(format EnglishLanguage GeneralizedIntersectionFn "the &%intersection of all the elements of %1")
(format EnglishLanguage CardinalityFn "the number of &%instances in %1")
(format EnglishLanguage KappaFn "the &%class described by %1")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; OBJECTS
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;
; Relations
(format EnglishLanguage developmentalForm "the &%developmental &%form of %1 is %n %2")
(format EnglishLanguage inhabits "%1 %n{doesn't} &%live%p{s} in %2")
(format EnglishLanguage parent "%2 is %n a &%parent of %1")
(format EnglishLanguage mother "%2 is %n a &%mother of %1")
(format EnglishLanguage father "%2 is %n a &%father of %1")
(format EnglishLanguage sibling "%1 is %n a &%sibling of %2")
(format EnglishLanguage authors "%1 is %n the &%author of %2")
(format EnglishLanguage editor "%1 is %n the &%editor of %2")
(format EnglishLanguage publishes "%1 %n{doesn't} &%publishe%p{s} %2")
(format EnglishLanguage version "%1 is %n a &%version of %2")
(format EnglishLanguage engineeringSubcomponent "%1 is %n a &%component of %2")
(format EnglishLanguage connectedEngineeringComponents "%1 is %n &%connected to %2")
(format EnglishLanguage connectsEngineeringComponents "%1 %n{doesn't} &%connect%p{s} %2 and %3")
(format EnglishLanguage familyRelation "%1 and %2 are %n &%related")
(format EnglishLanguage employs "%1 %n{doesn't} &%employ%p{s} %2")
(format EnglishLanguage subOrganization "%1 is %n a &%part of the organization %2")
(format EnglishLanguage occupiesPosition "%1 %n{doesn't} hold%p{s} the &%position of %2 in %3")
(format EnglishLanguage citizen "%1 is %n a &%citizen of %2")
;;;;;;;;;;;;;;;;;;
; Functions
(format EnglishLanguage EditionFn "&%edition %2 of %1")
(format EnglishLanguage SeriesVolumeFn "volume %2 in the &%series %1")
(format EnglishLanguage PeriodicalIssueFn "the &%periodical number %2 of %1")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; PROCESSES
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;
; Relations
(format EnglishLanguage subProcess "%1 is %n a &%subprocess of %2")
(format EnglishLanguage path "%2 is %n &%path along which %1 occurs")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; QUALITIES
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;
; Relations
(format EnglishLanguage orientation "%1 is %n %3 to %2")
(format EnglishLanguage direction "entities in the process %1 are %n &%moving %2")
(format EnglishLanguage modalAttribute "the statement %1 %n{doesn't have} %p{has} the &%modal &%force of %2")
;;;;;;;;;;;;;;;;;;
; Functions
(format EnglishLanguage RelativeTimeFn "the time %1 in zone %2")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; UNITS OF MEASURE
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;
; Relations
(format EnglishLanguage measure "the &%measure of %1 is %n %2")
(format EnglishLanguage altitude "the &%altitude of %1 is %n %2")
(format EnglishLanguage age "the &%age of %1 is %n %2")
(format EnglishLanguage length "the &%length of %1 is %n %2")
(format EnglishLanguage width "the &%width of %1 is %n %2")
(format EnglishLanguage diameter "the &%diameter of %1 is %n %2")
(format EnglishLanguage height "the &%height of %1 is %n %2")
(format EnglishLanguage distance "the &%distance between %1 and %2 is %n %3")
(format EnglishLanguage larger "%1 is %n &%larger than %2")
(format EnglishLanguage smaller "%1 is %n &%smaller than %2")
(format EnglishLanguage monetaryValue "&%value of %1 is %n %2")
;;;;;;;;;;;;;;;;;;
; Functions
(format EnglishLanguage MeasureFn "%1 %2(s)")
(format EnglishLanguage KiloFn "1 &%thousand %1s")
(format EnglishLanguage MegaFn "1 &%million %1s")
(format EnglishLanguage GigaFn "1 &%billion %1s")
(format EnglishLanguage TeraFn "1 &%trillion %1s")
(format EnglishLanguage MilliFn "one &%thousandth of a %1")
(format EnglishLanguage MicroFn "one &%millionth of a %1")
(format EnglishLanguage NanoFn "one &%billionth of a %1")
(format EnglishLanguage PicoFn "one &%trillionth of a %1")
(format EnglishLanguage IntervalFn "the &%interval from %1 to %2")
(format EnglishLanguage RecurrentTimeIntervalFn "the &%recurring &%period from %1 to %2")
(format EnglishLanguage MagnitudeFn "the &%magnitude of %1")
(format EnglishLanguage DensityFn "%1 &%per %2")
(format EnglishLanguage SpeedFn "%1 &%per %2")
(format EnglishLanguage VelocityFn "%1 &%per %2 in %3 in the direction %4")
(format EnglishLanguage WealthFn "&%value of belongings of %1")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; NUMERIC FUNCTIONS
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;
; Relations
(format EnglishLanguage identityElement "%2 is %n an &%identity element of %1")
;;;;;;;;;;;;;;;;;;
; Functions
(format EnglishLanguage MultiplicationFn "%*[*]")
(format EnglishLanguage AdditionFn "(%*[+])")
(format EnglishLanguage SubtractionFn "(%*[-])")
(format EnglishLanguage DivisionFn "%*[/]")
(format EnglishLanguage AbsoluteValueFn "the &%absolute &%value of %1")
(format EnglishLanguage CeilingFn "the &%ceiling of %1")
(format EnglishLanguage CosineFn "the &%cosine of %1")
(format EnglishLanguage DenominatorFn "the &%denominator of %1")
(format EnglishLanguage ExponentiationFn "%1 raised to the &%power %2")
(format EnglishLanguage FloorFn "the &%largest integer less than or equal to %1")
(format EnglishLanguage GreatestCommonDivisorFn "the &%greatest common divisor of %*[and]")
(format EnglishLanguage ImaginaryPartFn "the &%imaginary part of %1")
(format EnglishLanguage IntegerSquareRootFn "the &%integer square root of %1")
(format EnglishLanguage LeastCommonMultipleFn "the &%least common multiple of %*[and]")
(format EnglishLanguage LogFn "the &%log of %1")
(format EnglishLanguage MaxFn "the &%larger of %1 and %2")
(format EnglishLanguage MinFn "the &%smaller of %1 and %2")
(format EnglishLanguage NumeratorFn "the &%numerator of %1")
(format EnglishLanguage RationalNumberFn "the &%rationalRepresentation of %1")
(format EnglishLanguage RealNumberFn "the &%realPart of %1")
(format EnglishLanguage ReciprocalFn "the &%reciprocal of %1")
(format EnglishLanguage RemainderFn "%1 &%mod %2")
(format EnglishLanguage RoundFn "%1 &%rounded")
(format EnglishLanguage SignumFn "the &%sign of %1")
(format EnglishLanguage SineFn "the &%sine of %1")
(format EnglishLanguage SquareRootFn "the &%squareRoot of %1")
(format EnglishLanguage TangentFn "the &%tangent of %1")
(format EnglishLanguage SuccessorFn "(%1+1)")
(format EnglishLanguage PredecessorFn "(%1+2)")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; GRAPH THEORY
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;
; Relations
(format EnglishLanguage links "%3 %n{doesn't} &%link%p{s} %1 and %2")
(format EnglishLanguage graphPart "%1 is %n a &%part of %2")
(format EnglishLanguage subGraph "%1 is %n a &%subgraph of %2")
(format EnglishLanguage pathLength "the &%length of %1 is %n %2")
(format EnglishLanguage arcWeight "the &%value of %1 is %n %2")
;;;;;;;;;;;;;;;;;;
; Functions
(format EnglishLanguage InitialNodeFn "the &%starting node of %1")
(format EnglishLanguage TerminalNodeFn "the &%terminal node of %1")
(format EnglishLanguage BeginNodeFn "the &%beginning of %1")
(format EnglishLanguage EndNodeFn "the &%end of %1")
(format EnglishLanguage PathWeightFn "the &%value of %1")
(format EnglishLanguage MinimalWeightedPathFn "the &%lowest &%cost &%path between %1 and %2")
(format EnglishLanguage MaximalWeightedPathFn "the &%highest &%cost &%path between %1 and %2")
(format EnglishLanguage GraphPathFn "the &%set of paths between %1 and %2")
(format EnglishLanguage CutSetFn "the &%set of paths that partition %1 into two separate graphs")
(format EnglishLanguage MinimalCutSetFn "the &%set of minimal paths that partition %1 into two separate graphs")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(format EnglishLanguage PremisesFn "the &%premises of argument %1")
(format JapaneseLanguage PremisesFn "引数 %1 の &%premises")
(format EnglishLanguage conclusion "the &%conclusion of argument %1 is %n %2")
(format JapaneseLanguage conclusion "引数 %1 の 結論は %2 です")
(format EnglishLanguage sideOfFigure "the &%size of %2 is %n %1")
(format JapaneseLanguage sideOfFigure "%2 の &%size は %1 では %n")
(format EnglishLanguage radius "the &%radius of %1 is %n %2")
(format JapaneseLanguage radius "%1 の &%radius は %2 では %n")
(format EnglishLanguage tangent "a &%tangent of %2 is %n %1")
(format JapaneseLanguage tangent "%2 の &%tangent は %1 では %n")
(format EnglishLanguage pointOfFigure "%1 is %n a &%vertex of %2")
(format JapaneseLanguage pointOfFigure "%1 の &%vertex は %2 では %n")
(format EnglishLanguage wears "%1 %n{doesn't} &%wear%p{s} %2")
(format JapaneseLanguage wears "%1 は % を &%wear%p{s} %n{ない}")
(format EnglishLanguage grasps "%1 %n{doesn't} &%grasp%p{s} %2")
(format JapaneseLanguage grasps "%1 は %2 を &%grasp%p{s} %n{ない}")
(format EnglishLanguage contains "%1 %n{doesn't} &%contain%p{s} %2")
(format JapaneseLanguage contains "%1 は %2 を &%contain%p{s} %n{ない}")
(format EnglishLanguage GovernmentFn "the &%government of %1")
(format JapaneseLanguage GovernmentFn "%1 の &%government")
(format EnglishLanguage geopoliticalSubdivision "%1 is %n a &%geopolitical part of %2")
(format JapaneseLanguage geopoliticalSubdivision "%1 は %2 の &%geopolitical 部分では %n")
(format EnglishLanguage home "the &%home of %1 is %n %2")
(format JapaneseLanguage home "%1 の &%homeは %2 では %n")
(format EnglishLanguage legalRelation "there is %n a &%legal &%relation between %1 and %2")
(format JapaneseLanguage legalRelation "%1 と %2 間での &%legal &%relation は %n")
(format EnglishLanguage subOrganization "%1 is %n a part of the organization %2")
(format JapaneseLanguage subOrganization "%1 は組織 %2 の一部では %n")
;;;;;;;;;;;;;;;;;
(termFormat EnglishLanguage Entity "entity")
(termFormat EnglishLanguage Physical "physical")
(termFormat EnglishLanguage Object "object")
(termFormat EnglishLanguage SelfConnectedObject "self connected object")
(termFormat EnglishLanguage Substance "substance")
(termFormat EnglishLanguage PureSubstance "pure substance")
(termFormat EnglishLanguage ElementalSubstance "elemental substance")
(termFormat EnglishLanguage Metal "metal")
(termFormat EnglishLanguage Atom "atom")
(termFormat EnglishLanguage SubatomicParticle "subatomic particle")
(termFormat EnglishLanguage AtomicNucleus "atomic nucleus")
(termFormat EnglishLanguage Electron "electron")
(termFormat EnglishLanguage Proton "proton")
(termFormat EnglishLanguage Neutron "neutron")
(termFormat EnglishLanguage CompoundSubstance "compound substance")
(termFormat EnglishLanguage Mixture "mixture")
(termFormat EnglishLanguage Solution "solution")
(termFormat EnglishLanguage CorpuscularObject "corpuscular object")
(termFormat EnglishLanguage Region "region")
(termFormat EnglishLanguage Collection "collection")
(termFormat EnglishLanguage ContentBearingObject "content bearing object")
(termFormat EnglishLanguage SymbolicString "symbolic string")
(termFormat EnglishLanguage Character "character")
(termFormat EnglishLanguage Icon "icon")
(termFormat EnglishLanguage MotionPicture "motion picture")
(termFormat EnglishLanguage LinguisticExpression "linguistic expression")
(termFormat EnglishLanguage Language "language")
(termFormat EnglishLanguage AnimalLanguage "animal language")
(termFormat EnglishLanguage ArtificialLanguage "artificial language")
(termFormat EnglishLanguage ComputerLanguage "computer language")
(termFormat EnglishLanguage HumanLanguage "human language")
(termFormat EnglishLanguage ConstructedLanguage "constructed language")
(termFormat EnglishLanguage NaturalLanguage "natural language")
(termFormat EnglishLanguage Word "word")
(termFormat EnglishLanguage Formula "formula")
(termFormat EnglishLanguage Agent "agent")
(termFormat EnglishLanguage SentientAgent "sentient agent")
(termFormat EnglishLanguage CognitiveAgent "cognitive agent")
(termFormat EnglishLanguage Process "process")
(termFormat EnglishLanguage DualObjectProcess "dual object process")
(termFormat EnglishLanguage Abstract "abstract")
(termFormat EnglishLanguage Quantity "quantity")
(termFormat EnglishLanguage Attribute "attribute")
(termFormat EnglishLanguage InternalAttribute "internal attribute")
(termFormat EnglishLanguage RelationalAttribute "relational attribute")
(termFormat EnglishLanguage Number "number")
(termFormat EnglishLanguage RealNumber "real number")
(termFormat EnglishLanguage ImaginaryNumber "imaginary number")
(termFormat EnglishLanguage RationalNumber "rational number")
(termFormat EnglishLanguage IrrationalNumber "irrational number")
(termFormat EnglishLanguage NonnegativeRealNumber "nonnegative real number")
(termFormat EnglishLanguage PositiveRealNumber "positive real number")
(termFormat EnglishLanguage NegativeRealNumber "negative real number")
(termFormat EnglishLanguage Integer "integer")
(termFormat EnglishLanguage EvenInteger "even integer")
(termFormat EnglishLanguage OddInteger "odd integer")
(termFormat EnglishLanguage PrimeNumber "prime number")
(termFormat EnglishLanguage NonnegativeInteger "nonnegative integer")
(termFormat EnglishLanguage NegativeInteger "negative integer")
(termFormat EnglishLanguage PositiveInteger "positive integer")
(termFormat EnglishLanguage BinaryNumber "binary number")
(termFormat EnglishLanguage ComplexNumber "complex number")
(termFormat EnglishLanguage PhysicalQuantity "physical quantity")
(termFormat EnglishLanguage ConstantQuantity "constant quantity")
(termFormat EnglishLanguage TimeMeasure "time measure")
(termFormat EnglishLanguage TimeDuration "time duration")
(termFormat EnglishLanguage TimePosition "time position")
(termFormat EnglishLanguage TimeInterval "time interval")
(termFormat EnglishLanguage TimePoint "time point")
(termFormat EnglishLanguage FunctionQuantity "function quantity")
(termFormat EnglishLanguage UnaryConstantFunctionQuantity "unary constant function quantity")
(termFormat EnglishLanguage TimeDependentQuantity "time dependent quantity")
(termFormat EnglishLanguage SetOrClass "set or class")
(termFormat EnglishLanguage Class "class")
(termFormat EnglishLanguage Set "set")
(termFormat EnglishLanguage Relation "relation")
(termFormat EnglishLanguage SingleValuedRelation "single valued relation")
(termFormat EnglishLanguage TotalValuedRelation "total valued relation")
(termFormat EnglishLanguage PartialValuedRelation "partial valued relation")
(termFormat EnglishLanguage BinaryRelation "binary relation")
(termFormat EnglishLanguage ReflexiveRelation "reflexive relation")
(termFormat EnglishLanguage IrreflexiveRelation "irreflexive relation")
(termFormat EnglishLanguage SymmetricRelation "symmetric relation")
(termFormat EnglishLanguage AsymmetricRelation "asymmetric relation")
(termFormat EnglishLanguage AntisymmetricRelation "antisymmetric relation")
(termFormat EnglishLanguage TrichotomizingRelation "trichotomizing relation")