Presentation by John F. Sowa that covers knowledge design pattern for combining logic, ontology, and computation.

1. !
!

2. #$ %

3. !

4. %

5. %
' (#)

6. % !
*
+

7. #

8. !

9. %
,-

10. %

11. ##

12. . )%$

13. /

15. ) )

16. )%

17. 0

18. % !

19. 1 !

20. % )%
/%

21. %$

22. $ ##$ $ #

23. %

24. $
%

25. #)

26. %

27. % .! % %%

28. $
# #

29. )

30. 0

31. %

32. %
$ $

33. %%

34. $
/.

35. ) % )

36. $
(#

37. )

38. !

39. !#

40. %

41. 2! ! %

42. %#)

43. # %

44. .

45. -
!3- ##

46. #

47. %- ( 3

48. #

49. %- 4 !

50. %

51. -
$

52. $
%

53. !

54. % %#

55. 5

56. %

57. # #.

58. .
#

59. #

60. , % 3
%

61. #

62. ! ! 3

63. 6

64. #

65. 7

66. %

67. 8

68. %

69. ) #

70. 7

71. )
9

72. 3 7

73. )-
6

74. -
: -

75. ;

76. )! 9

77. % %
9

78. !3 %#)

79. % %% %

80. !#)

81. % .

82. (#8

83. 7

84. %
2 %#

85. % .

86. !#) !)
: ! ! -
7- 7

87. )
;
- =27 #)

88. )
(74- / !3

89. !
(% - /

90. %

91. %
( 9

92. - / 9

93. 8

94. !3

95. !
- 8% ) 7

96. % 3

97. #

98. % %

99. 8 !-
;
7- =27 #. ! ) !
?27

100. #- 5

101. %

102. !

103. %

104. %

105. @ 7 # !
(!% A% )!
7

106. BC-
,# %# # !) %!%

107. - 4## )% !

108. %

109. 8%
?

110. # - 7 )!

111. 3)
/

112. ' !$
#

113. 8! $
*$ %%$

114. )! '$$ 3

115. #$

116. 0

117. *$ #

118. %

119. #

120. %

121. $ ) #

122. -
(!% % ! )!

123. 3)
(!%

124. #

125. # 4

126. (!% (. (

127. %
%- -DD%!%%#D%!D

128. E

129. D

130. E(!%EE/E(

131. %E;%EE%E

132. 2

133. #%

134. )# (. (

135. %-
/ % # #

136. %
: #A

137. %

138. #

139. %. 4 ! (!%
(#

140. )! ! 7
: !#

141. #

142. BC-

143. ! ! $ #

144. A
) $

145. %$ #

146. -
93

147. !

148. ! )%# 3
! @ .

149. # %#3

150. #

151. #

152. F9;
)A%8# 3 %

153. . !

154. % ?

155. . !
2! A%$ #!

156. $ ) %
%! :(- /

157. @ %

158. !

159. #
* % /
- %

160. %

161. %$ !$ #

162. %
+ %- ?

163. . %# )!
%$ 2$
%$ 7

164. )

165. 0$ ,$

166. 7@/%G#

167. H

168. C %- 2 %#

169. 5 /%#! 7 )!

170. @ %

171. B %- ! )! $ :0 ;@ :
) 2 %

172. %$

173. ! %

174. %$ ! %#
7 B ! %- 7 ! ! )!

175. %$
:$ 2

176. $ $ 7I

177. $ ;$

178. B+-
)$ )$ #

179. BC- (!%$ ,$ 9%

180. %

181. %

182. ! ;%
BB- 2! % A% ;)
: J;:K$ 4 (% %#$ #

183. % )
%- 2! #

184. $ )

185. . !

186. !
)! !

187. -
!- 2#

188. % # . .!

189. %

190. - / 3 J

191. K . )! J K
9#%- # J

192. $

193. $ $ K

194. %

195. % J.

196. K
7%

197. #%

198. -

199. ! #

200. % #

201. %

202. # !0

203. -
%- (% !

204. )! !#

205. % 6

206. -

207. )! %
/

208. - !#

209. %

210. 8

211. /

212. @

213. % !-
) )A% %#

214. # #
%

215. !0

216. $ %

217. )

218. $ %

219. !

220. !

221. 7

222. % %

223. !

224. ) #

226. % :
/

227. L

228. %

229. #M

230. $ % )A%

231. )

232. J

233. K %

234. %% J

235. %

236. K

237. % ) #. %
:

238. J%!K

239. . ))
% ) #.

240. !

241. %

242. -DD.%#D7

243. %D%D

244. /

245. @ !

246. %

247. /

248. @ !
%

249. %) )

250. #
JK %)

251. # # J
2K
/

252. % )
#. %

253. $

254. #)

255. )A%
/ %%

256. %)$ #

257. %%

258. %

259. !
3#$ !

260. % )A% # .

261. $ )

262. % % # # %
% %%

263. $ #

264. # ! )

265. #

266. !

267. /

268. @ (

269. ! %

270. )

271. !

272. 3

273. % 3

274. 9% %! %

275. 6

276. -
)% 1

278. ;

279. 1

280. ! 1 #%

281. ! 1

282. /%

283. .

284. ! 1

285. .

286. ! 1 ?

287. (

288. 1 .

289. 1

290. % 1

291. # 1
)%

292. %

293. # #

294. #

295. %

296. %

297. ) %%

298. % %

299. %

300. )

301. 5

302. (!

303. /
)%

305. / #
;

306. / ? #!

307. !

308. #

309. ! #%
/%

310. .

311. !

312. .

313. ! ?

314. 7

315. (

316. .

317. N

318. %!

319. )

320. 2
% O$ N

321. # B %) +C$ #

322. /

323. @ (

324. /

325. @ %

326. $ )! 0 : JC*K
%

327. J.K
)%

328. )

329. )! /

330. /

331. @

332. %

333. )!

334. -
5 1 ! %! )

335. %

336. 1 )!

337. )

338. 1 !

339. )

340. %

341. )

342. # %

343. #

344. 4!$

345. %!

346. %

347. %

348. 6!

349. %

350. %

351. .

352. ##

353. %
:

354. !

355. ) #

356. %

357. /

358. %.! #

359. )

360. !$ /

361. .-
% %

362. $ %

363. ) ! %

364. #

365. ? %

366. #

367. ! #

368. !!
/ %

369. %##!
/

370. )!

371. !! J %! /
K

372. ) .

373. )!

374. JBK

375. :!
/ 5
$

376. %

377. 7

378. 9

379. # ) !%$

380. % )!

381. # %

382. %

383. : /

384. # .!

385. .

386. #)

387. !%$

388. % .

389. )

390. #-
,

391. . !%

392. . !%

393. #

394. %#
7%#

395. . !% #
!%

396. #!

397. #

398. !
;

399. !% #
!% % #

400. # )

401. !% # .%

402. #

403. %

404. #

405. #

406. . !%

407. 93

408. # %

409. %
##

410. %

411. #

412. 0 %)
##

413. % # #

414. ) %
: /

415. @ !

416. %

417. $ # #

418. ).

419. % %
/ /

420. #

422. .

423. %$

424. # .#

425. )

426. !

427. ! !%$

428. %

429. %

430. % 3

431. #-
% %

432. %

433. # !
: % !$

434. %

435. #)!$ !0
.

436. % 3

437. #
/ + %!$ !

438. %

439. # .!

440. /

441. @

442. #)!!

443. 2 93

444. /

445. #

446. %

447. 3

448. %

449. 5

450. 7

451. $ )
9

452. #

453. /

454. @

455. -
9

456. %

457. - #

458. % %

459. 2

460. - # %

461. %
#- )

462. % #$ $ %

463. - $ $ %

464. J

465. 5$

466. K
9

467. !

468. #

469. %

470. 4 )

471. % 3

472. $ /

473. #

474. 0 %

475. J

476. K !

477. .

478. %

479. #

480. !

481. .

482. !

483. #
/

484. %

485. ! .

486. % !$ !@ %

487. %

488. !

489. # .

490. 6

491. !-
(

492. !

493. #

494. ) %

495. !

496. % !

497. # )

498. A%

499. . !

500. # )

501. %

502. . 3%

503. .
/ J #! #K

504. #
4 %$ .#

505. #A

506. ! 7

507. !
@ !

508. % )! /

509. : /

510. # )

511. )
% J(,7K

512. ; (

513. %

514. %

515. !

516. #-
/ ?

517. .

518. #

519. .- 9.!

520. 4

521. %

522. #

523. .- #

524. 9 ?

525. .

526. .- ,

527. %

528. .- #

529. :

530. J* %! /
K

531. % /$ 4$ 9$
##

532. % #

533. ##)

534. %#)

535. -
/ 4

536. .

537. 7

538. J4

539. #K
9

540. .

541. J4 !K

542. )A%

543. %
9% #

544. # %!
#

545. %!

546. (

547. !

548. #
:)$ #

549. $ /$

550. %

551. % ! / %-
/ 9.!

552. #

553. .

554. / 9.! #

555. #
/ $ .! #

556. .

557. #

559. % ! /$ 4$ 4-
/ 9.! )

561. 4 #

562. #

563. )
4 $ #

564. #

566. :)

567. %

568. #
! .!

569. .

570. )!

572. %

573. #
!

574. %

575. .

576. !

577. ,

578. . !

579. #

580. . !

581. #

582. # (-
9 , )!

583. / 9.!

584. #

585. )!
9 $

586. #

587. . !

588. #

589. %

590. .

591. -
9 ,

592. 4 #

593. .

594. $ #

595. .

596. 9 % 3 %

597. !

598. %!
,

599. . !

600. #

601. .

602. #

603. %

604. %

605. !

606. #

607. N)
%

608. .) )

609. ! )A%-
/ 9.! 6
/ 9.!

610. 6
/ $ .!
: ! .) .) % ) -
/ 9.! ### ) 3!
4 # %

611. ###
4 $ # % ) 3!

612. ) $ /$ 4$ 9$ % % )
%.

613. #

614. .)-
9.! 6

615. #

616. 9.! ###

617. 3!8)

618. #

619. ( #

620. %

621. ) #

622. -
9 , !
/ 9.! ###
9 $ ###

623. !

624. $ ( % ) %. (-
9 ,

625. #

626. !
/ 9.! ###

627. #

628. 9 $ ###

629. !
,

630. # .) 6

631. 3

632. ! .) -
9 , )

633. . #
4 # ###

634. )

635. .
$ # ### #

636. (

637. !

638. #
9% %

639. %

640. #

641. !8)!

642. ) %

643. .)

644. # % )

645. )A%

646. %
# .) % ! %%

647. %
/ 9.! 6
4 # % ) 3!
9 , !
# ### #
'*

648. ) 8% !

649. #
: ! B

650. %! .

651. + %

652. - ! %

653. .
%%

654. # #

655. B N

656. /

657. % :) ( )

658. %
+ .

659. . )! %.

662. . # :)$

663. # (
:)$ ($

665. $

666. )

667. .

668. )

669. $ $ -
($ (#$

670. $ :%

671. $ $

672. #

673. $

675. $ :%$

676. :#

677. $ (#$

678. #

679. $ $

680. # )

681. :

682. . # :)P

683. ($ # (P

684. $ #

686. P

687. #

688. % .

689. % %.

690. $
$ 2 #-

691. #

692. )A% %%

693. #

694. % %%

695. 2

696. #

697. # 4

698. #

699. $ ) %%

700. 3#$ )

701. 4 . 9$ /$ %

702. -
, 2

703. / 2

704. $ #

705. #

706. #

707. %

708. N

709. #
4 B %!$ N .

710. %

711. % #

712. .

713. !

714. #
9% %

715. % %

716. .!

717. % !

718. % # /

719. -
- ) #! 1

720. % 3

721. - % 1 #

722. % ! #

723. 3

724. #

725. !- %

726. % !
: #

727. !- # ! 3

728. ,- /

729. # .! %! !

730. N

731. # :)

733. :)$
/

734. :

735. #!$
(

736. /

737. #!

739. $ /

740. :

741. #!$ ) (

742. /

744. .
$ ! #
:)

745. #

747. ).

748. /

749. @

750. .

752. # :)

753. .

754. -

755. .
93%

756. -
N

757. #
%$

758. $

759. % )

760. . #

761. 2 !
/

762. JBK . # !

763. 8

764. %$
) N

765. . 6

766. . # ! !

767. #

768. 8

769. %$

770. # %

771. /

772. .

773. #

774. %
% ,8

775. %

776. $ ,8

777. .

778. %

779. / # .

780. ! 7 #

781. #
,8
!

782. #$ N@ #

783. 6

784. .

785. @-
/

786. .

787. #

788. %
% #

789. %

790. $ %

791. %

792. .

793. J8K

794. %

795. / # .

796. ! /$ 4$ 9$ #

797. #
8

798. 7

799. %
/

800. # # %## )

801. %
. .

802. )

803. -
L4 /

804. $ : # )$ :

805. $ / % )M
4 7

806. $

807. %

808. J#

809. !K

810. %

811. .

812. %
4

813. %##

814. $ :

815. ##

816. 0

817. %

818. %
# #

819. $ :

820. 7

821. J

822. K

823. JK %
: # 6

824. # $
93#- L

825. % %# / $ : $ ( M
4 J /

826. $ :

827. K$ (

828. J/ :K (

829. !

830. % !

831. #
/ !

832. % !

833. #

834. )

835. !
%

836. %
J#

837. K #

838. -
5

839. . 4 /$ :
: /
:

840. J#

841. !K

842. 8-
5

843. . 4 /$ :
: :
/
4 # 8) !#$ %

844. )! #

845. %
; #

846. %

847. !

848. %

849. A%

850. . !

851. #

852. #)

853. %

854. %

855. 0 #)

856. !
!

857. %

858. . P 3%

859. .
:! %.

860. $ 7

861. %

862. %

863. .

864. 3%

865. .
:

866. ! $ 7

867. A
#)

868. 9

870. A%

871. . !

872. #
/

873. A%

874. . !

875. #

876. )

877. )

878. %

879. A%

880. . !

881. # )

882. ! %-
5

883. . 9

884. / :
: /
:
/

885. A%

886. . !

887. # % )

888. %
! 4 %$

889. #-
5

890. . 9.!

891. )

892. : %

893. %

894. )

895. : %

896. %

897. )

898. ,

899. A%

900. . !

901. # % )

902. #

903. )%

904. ! / %

905. 2

906. . %

907. %
%

908. %

909. %

910. 0 !#

911. 0
%

912. )

913. )! 5$ ;#$ /)

914. %

915. -
/

916. @ !

917. #$ %

918. $

919. %

920. #

921. ( 7

922. ! # #!

923. .

924. 3

925. -
!

926. )

927. %

928. $
!

929. %$ #.

930. %
2 #

931. %
28

932. % #

933. % 7

934. )!

935. # %#
2! %% !

936. ?!$ ;

937. % %

938. % L

939. % %

940. M
4

941. %$ + %! .%

942. ).

943. /

944. 8

945. %8%

946. %

947. % )

948. %

949. .#
4

950. % 7
# %% !

951. !$ #

952. %$

953. :

954. %

955. %

956. ! 3

957. .-
% ,7 !

958. #

959. # ) ,7
9%

960. )

961. 3) ##

962. %
(# %

963. % 6

964. 8

965. % 1 #
!

966. # $ ) %.

967. %#3
N

968. #

969. # ) % #
%#3 )A%

970. $ ##)$

971. 7

972. %
.

973. !3-
/)

974. %- : )

975. % %%
5

976. #- @ $

977. %@
%

978. #- !

979. %

980. $ ?27

981. #
(
2

982. %- 2

983. 3

984. .

985. !

986. %

987. %-

988. #

989. 0 )

990. !

991. #

992. 0 3

993. .

994. #

995. %

996. %

997. 2

998. 3 # %

999. 8 !

1000. %

1001. !

1002. JC+BK

1003. %

1004. 3

1005. #

1006. %
: )!

1007. % #

1008. : )

1009. %@ )$ )

1010. !#)-

1011. % JCC'K- Q! Q
(! R 2
R !
JCB'K- !
(J!K 2J
K J!
K
:

1012. CB+$

1013. %

1014. . !

1015. #$
)

1016. 3#!

1017. #

1018. %-

1019. 93

1020. 5

1021. ,

1022. # % % #!

1023. %

1024. $

1025. %

1026. ;
$ (% 2$

1027. % 2
). 3# )!

1028. % 3%

1029. )-
!
$

1030. !%!

1031. 2%

1032. %6

1033. %

1034. !$

1035. !$

1036. /#

1037. :!(%$
95

1038. % %

1039. )$
) # 3

1040. .

1041. %

1042. : 6

1043. %

1044. 93

1045. 5 7
/

1046. %

1047. #

1048. ##

1049. #

1050. .-

1051. %@

1052. 95$ -DDA%#D)D

1053. : (#)

1054. /

1055. #)

1056. ;

1057. % 6

1058. # %

1059. / 95

1060. #

1061. % )

1062. . !-
%

1063. %

1064. '

1065. % !!# J

1066. %! 6

1067. .K

1068. 95 # 9

1069. 2 3

1070. % )

1071. . 6

1072. . !
7 -

1073. (

1074. ;

1075. -
(

1076. )

1077. %

1078. ,

1079. .

1080. % ) 6

1081. 7 -
%

1082. ;

1083. -
%

1084. !

1085. !

1086. 2

1087. , ,

1088. (#3

1089. % # .

1090. %

1091. %

1092. !

1093. !

1094. %

1095. !

1096. !

1097. 7#) /)%

1098. 95 !

1099. (

1100. !
#

1101. 4 95 )

1102. $ # /

1103. /3
$

1104. % #

1105. 5
95 !

1106. %

1107. - EEE (

1108. EEE
#

1109. % % # #! %$ )
/0 (% # #

1110. ;

1111. !

1112. #
93

1113. /$ 4$ 9$ %-
9% #

1114. %

1115. % ) #) )%

1116. # 95

1117. %
#! %

1118. #

1119. 5
3#$ % 95 $
%
95

1120. )

1121. % % 97

1122. % 7$

1123. %
# %

1124. 3

1125. 6

1126. 95

1127. %$ -DDA%#D)D

1128. !3
!3 !

1129. # ).

1130. %
!%

1131. %

1132. % )! %#
/ !3

1134. # ) # %
%#

1135. %

1136. %!
: !3 % )

1137. (#

1138. %!

1139. # !3
)%# #

1140. B*
$ #

1141. % % ) %

1142. !

1144. !

1145. % !3

1146. (## 7

1147. %
/

1148. ! 3

1149. . .

1150. %

1151. #!

1152. !

1153. 0 )! 4D49( ++ # #

1154. %

1155. )% !3 % ) # #!

1156. %%

1157. % %

1158. -
(74- (## 7

1159. % 4% #
(54- (% 5 4% #
=(7- / =278)

1160. J)

1161. 6

1162. # .

1164. K
(74 (54 % 3 (7 #

1165. %
/!

1166. # #

1167. (7 #

1168. % %
) % (7

1169. %

1170. 95 (## 7

1171. %
93

1172. % ) # #!

1173. %

1174. # #

1175. ) (54$

1176. %

1177. -
9% 95 # 3%! (54
7

1178. 95$ (54

1179. #

1180. %

1181. 7

1182. 95$ %A%

1183. SS

1185. #

1186. %

1187. :

1188. $ (54 ) %

1189. ) .

1190. % #

1191. .

1192. )

1193. $ % (74

1194. (% 5 4% #
/

1195. % (## 7

1196. %-

1197. 2

1198. 95 (54
%

1199. TUUV3W UV!W J; 3K TUJ: 3KW J 3 !K TUJ) !K TUJ: !KWWW
, 88 #

1200. 95 (54 -
. #

1201. $ TU W

1202. %%

1203. # UV3W UV!W

1204. . 95

1205. # #

1206. . (54

1207. #

1208. 3 %%

1209. #

1210. 3 %%% 3 !

1211. (## 7

1212. % 4% #
/

1213. % (## 7

1214. %-

1215. % (%

1216. !

1217. %8
)

1218. %

1219. -

1220. 2

1221. (74

1222. % (%
(54-
TUUV3W UV!W J; 3K TUJ: 3KW J 3 !K TUJ) !K TUJ: !KWWW
(74-
J3

1223. J3 !K J J; 3K J J: 3KK J 3 !K J J J) !K J J: !KKKKK

1224. % %%-
TJ3KJ!KJ;J3K T:J3K J3$!K TJ)J!K T:J!KKK

1225. /

1226. 93

1227. 8

1228. %

1229. A

1230. %

1231. 7

1232. : # !#) %.

1233. %##!
4

1234. % %%$

1235. . 6

1236. J3K$

1237. % #! )
! !$ % )

1238. )! 6

1239. .%-
J3K
J3K

1240. TJ3KT
J3K
4

1241. $

1242. % # 3

1243. % ) #) )%

1244. (74 !#) SS

1245. . 6

1246. $ (54
!#) SX.!S

1247. % %%$ (74$ (54

1248. % !#)
$ $
!#)

1249. )! : %#)

1250. ! (

1251. 4 ! .

1252. %- ! 6

1253. $ % J3K
J3K$ % . !

1254. .
4 !

1255. %$ #

1256. %

1257. % #

1258. 6

1259. - J3-(K

1260. #

1261. .

1262. ) 3

1263. % %

1264. %

1265. ! #

1266. #%-
!

1267. - / ! #

1268. #% % !3
!

1269. - / ! #

1270. #% % 3

1271. ) $
)

1272. % !3
93

1273. (## 7

1274. % ) !
3 .

1275. (74 (54 !

1276. )!
#

1277. %

1278. % #

1279. 6

1280. /! ! #

1281. (## 7

1282. % % ) %.

1283. %! 6

1284. . ! #

1285. ! ?! #
! %

1286. % %%$ (74$ (54 % )
3 )! #

1287. %

1288. % 6

1289. % %%-
?!- J3KJ!KJ(J3K 2J!K J3$!KK
!- J3-(KJ!-2KJ3$!K
(## 7

1290. % 4% # J(74K-
?!- J3

1291. J3 !K J J( 3K J2 !K J 3 !KKK
!- J3

1292. JJ3 (K J! 2KK J 3 !KK
(% 5 4% # J(54K-
?!- UV3W UV!W J( 3K J2 !K J 3 !K
!- U( V3W U2 V3W J 3 !K
/

1293. 3 #

1294. %! 6

1295. .- !

1296. !

1297. %

1298. #

1299. (## 7

1300. % ( 9

1301. (7(9

1302. #!

1303. 9

1304. !3
9.! (7(9 % % )

1305. 9

1306. :

1307. % ) #

1308. %! # (54 (74
4 %$ .! 9

1309. %

1310. # 3

1311. ! (7(9 )
.

1312. #)

1313. $ (7(9 #

1314. #! #$

1315. %

1316. .

1317. )

1318. % %%-
%

1319. !

1320. !

1321. 4 (7(9$ !$
$ $ )! #. )!
#