1/* 2;-------------------------------------------------------------------------- 3; 4; ThoughtTreasure version 0.00022 5; Copyright 1996, 1997, 1998, 1999 Erik Thomas Mueller. All Rights Reserved. 6; http://www.panix.com/~erik/ 7; http://www.signiform.com/tt/htm/tt.htm 8; http://www.signiform.com/tt/ttkb/tt0.00022.cycl.gz 9; 10; To load, type [load "tt0.00022.cycl"] into the OpenCyc API. 11; 12; This CycL dump of ThoughtTreasure version 0.00022 is free software. 13; You can redistribute it and/or modify it under the terms of the GNU 14; General Public License Version 2 as published by the Free Software 15; Foundation. 16; 17; This software is distributed in the hope that it will be useful, but 18; WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY 19; or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 20; for more details. 21; 22; ThoughtTreasure is a trademark of Erik T. Mueller. 23; 24; All brand names and product names are the trademarks or registered 25; trademarks of their respective owners and/or manufacturers. 26; 27; Any rights not expressly granted herein are reserved. 28; 29; 20020410 first release 30; 20050306 updated for OpenCyc 0.9.0 31; 32;-------------------------------------------------------------------------- 33; 34; GNU GENERAL PUBLIC LICENSE 35; Version 2, June 1991 36; 37; Copyright [C] 1989, 1991 Free Software Foundation, Inc. 38; 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA 39; Everyone is permitted to copy and distribute verbatim copies 40; of this license document, but changing it is not allowed. 41; 42; Preamble 43; 44; The licenses for most software are designed to take away your 45; freedom to share and change it. By contrast, the GNU General Public 46; License is intended to guarantee your freedom to share and change free 47; software--to make sure the software is free for all its users. This 48; General Public License applies to most of the Free Software 49; Foundation's software and to any other program whose authors commit to 50; using it. [Some other Free Software Foundation software is covered by 51; the GNU Library General Public License instead.] You can apply it to 52; your programs, too. 53; 54; When we speak of free software, we are referring to freedom, not 55; price. Our General Public Licenses are designed to make sure that you 56; have the freedom to distribute copies of free software [and charge for 57; this service if you wish], that you receive source code or can get it 58; if you want it, that you can change the software or use pieces of it 59; in new free programs; and that you know you can do these things. 60; 61; To protect your rights, we need to make restrictions that forbid 62; anyone to deny you these rights or to ask you to surrender the rights. 63; These restrictions translate to certain responsibilities for you if you 64; distribute copies of the software, or if you modify it. 65; 66; For example, if you distribute copies of such a program, whether 67; gratis or for a fee, you must give the recipients all the rights that 68; you have. You must make sure that they, too, receive or can get the 69; source code. And you must show them these terms so they know their 70; rights. 71; 72; We protect your rights with two steps: [1] copyright the software, and 73; [2] offer you this license which gives you legal permission to copy, 74; distribute and/or modify the software. 75; 76; Also, for each author's protection and ours, we want to make certain 77; that everyone understands that there is no warranty for this free 78; software. If the software is modified by someone else and passed on, we 79; want its recipients to know that what they have is not the original, so 80; that any problems introduced by others will not reflect on the original 81; authors' reputations. 82; 83; Finally, any free program is threatened constantly by software 84; patents. We wish to avoid the danger that redistributors of a free 85; program will individually obtain patent licenses, in effect making the 86; program proprietary. To prevent this, we have made it clear that any 87; patent must be licensed for everyone's free use or not licensed at all. 88; 89; The precise terms and conditions for copying, distribution and 90; modification follow. 91; 92; GNU GENERAL PUBLIC LICENSE 93; TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION 94; 95; 0. This License applies to any program or other work which contains 96; a notice placed by the copyright holder saying it may be distributed 97; under the terms of this General Public License. The "Program", below, 98; refers to any such program or work, and a "work based on the Program" 99; means either the Program or any derivative work under copyright law: 100; that is to say, a work containing the Program or a portion of it, 101; either verbatim or with modifications and/or translated into another 102; language. [Hereinafter, translation is included without limitation in 103; the term "modification".] Each licensee is addressed as "you". 104; 105; Activities other than copying, distribution and modification are not 106; covered by this License; they are outside its scope. The act of 107; running the Program is not restricted, and the output from the Program 108; is covered only if its contents constitute a work based on the 109; Program [independent of having been made by running the Program). 110; Whether that is true depends on what the Program does. 111; 112; 1. You may copy and distribute verbatim copies of the Program's 113; source code as you receive it, in any medium, provided that you 114; conspicuously and appropriately publish on each copy an appropriate 115; copyright notice and disclaimer of warranty; keep intact all the 116; notices that refer to this License and to the absence of any warranty; 117; and give any other recipients of the Program a copy of this License 118; along with the Program. 119; 120; You may charge a fee for the physical act of transferring a copy, and 121; you may at your option offer warranty protection in exchange for a fee. 122; 123; 2. You may modify your copy or copies of the Program or any portion 124; of it, thus forming a work based on the Program, and copy and 125; distribute such modifications or work under the terms of Section 1 126; above, provided that you also meet all of these conditions: 127; 128; a] You must cause the modified files to carry prominent notices 129; stating that you changed the files and the date of any change. 130; 131; b] You must cause any work that you distribute or publish, that in 132; whole or in part contains or is derived from the Program or any 133; part thereof, to be licensed as a whole at no charge to all third 134; parties under the terms of this License. 135; 136; c] If the modified program normally reads commands interactively 137; when run, you must cause it, when started running for such 138; interactive use in the most ordinary way, to print or display an 139; announcement including an appropriate copyright notice and a 140; notice that there is no warranty [or else, saying that you provide 141; a warranty] and that users may redistribute the program under 142; these conditions, and telling the user how to view a copy of this 143; License. [Exception: if the Program itself is interactive but 144; does not normally print such an announcement, your work based on 145; the Program is not required to print an announcement.] 146; 147; These requirements apply to the modified work as a whole. If 148; identifiable sections of that work are not derived from the Program, 149; and can be reasonably considered independent and separate works in 150; themselves, then this License, and its terms, do not apply to those 151; sections when you distribute them as separate works. But when you 152; distribute the same sections as part of a whole which is a work based 153; on the Program, the distribution of the whole must be on the terms of 154; this License, whose permissions for other licensees extend to the 155; entire whole, and thus to each and every part regardless of who wrote it. 156; 157; Thus, it is not the intent of this section to claim rights or contest 158; your rights to work written entirely by you; rather, the intent is to 159; exercise the right to control the distribution of derivative or 160; collective works based on the Program. 161; 162; In addition, mere aggregation of another work not based on the Program 163; with the Program [or with a work based on the Program] on a volume of 164; a storage or distribution medium does not bring the other work under 165; the scope of this License. 166; 167; 3. You may copy and distribute the Program [or a work based on it, 168; under Section 2] in object code or executable form under the terms of 169; Sections 1 and 2 above provided that you also do one of the following: 170; 171; a] Accompany it with the complete corresponding machine-readable 172; source code, which must be distributed under the terms of Sections 173; 1 and 2 above on a medium customarily used for software interchange; or, 174; 175; b] Accompany it with a written offer, valid for at least three 176; years, to give any third party, for a charge no more than your 177; cost of physically performing source distribution, a complete 178; machine-readable copy of the corresponding source code, to be 179; distributed under the terms of Sections 1 and 2 above on a medium 180; customarily used for software interchange; or, 181; 182; c] Accompany it with the information you received as to the offer 183; to distribute corresponding source code. [This alternative is 184; allowed only for noncommercial distribution and only if you 185; received the program in object code or executable form with such 186; an offer, in accord with Subsection b above.] 187; 188; The source code for a work means the preferred form of the work for 189; making modifications to it. For an executable work, complete source 190; code means all the source code for all modules it contains, plus any 191; associated interface definition files, plus the scripts used to 192; control compilation and installation of the executable. However, as a 193; special exception, the source code distributed need not include 194; anything that is normally distributed [in either source or binary 195; form] with the major components [compiler, kernel, and so on] of the 196; operating system on which the executable runs, unless that component 197; itself accompanies the executable. 198; 199; If distribution of executable or object code is made by offering 200; access to copy from a designated place, then offering equivalent 201; access to copy the source code from the same place counts as 202; distribution of the source code, even though third parties are not 203; compelled to copy the source along with the object code. 204; 205; 4. You may not copy, modify, sublicense, or distribute the Program 206; except as expressly provided under this License. Any attempt 207; otherwise to copy, modify, sublicense or distribute the Program is 208; void, and will automatically terminate your rights under this License. 209; However, parties who have received copies, or rights, from you under 210; this License will not have their licenses terminated so long as such 211; parties remain in full compliance. 212; 213; 5. You are not required to accept this License, since you have not 214; signed it. However, nothing else grants you permission to modify or 215; distribute the Program or its derivative works. These actions are 216; prohibited by law if you do not accept this License. Therefore, by 217; modifying or distributing the Program [or any work based on the 218; Program], you indicate your acceptance of this License to do so, and 219; all its terms and conditions for copying, distributing or modifying 220; the Program or works based on it. 221; 222; 6. Each time you redistribute the Program [or any work based on the 223; Program], the recipient automatically receives a license from the 224; original licensor to copy, distribute or modify the Program subject to 225; these terms and conditions. You may not impose any further 226; restrictions on the recipients' exercise of the rights granted herein. 227; You are not responsible for enforcing compliance by third parties to 228; this License. 229; 230; 7. If, as a consequence of a court judgment or allegation of patent 231; infringement or for any other reason [not limited to patent issues], 232; conditions are imposed on you [whether by court order, agreement or 233; otherwise] that contradict the conditions of this License, they do not 234; excuse you from the conditions of this License. If you cannot 235; distribute so as to satisfy simultaneously your obligations under this 236; License and any other pertinent obligations, then as a consequence you 237; may not distribute the Program at all. For example, if a patent 238; license would not permit royalty-free redistribution of the Program by 239; all those who receive copies directly or indirectly through you, then 240; the only way you could satisfy both it and this License would be to 241; refrain entirely from distribution of the Program. 242; 243; If any portion of this section is held invalid or unenforceable under 244; any particular circumstance, the balance of the section is intended to 245; apply and the section as a whole is intended to apply in other 246; circumstances. 247; 248; It is not the purpose of this section to induce you to infringe any 249; patents or other property right claims or to contest validity of any 250; such claims; this section has the sole purpose of protecting the 251; integrity of the free software distribution system, which is 252; implemented by public license practices. Many people have made 253; generous contributions to the wide range of software distributed 254; through that system in reliance on consistent application of that 255; system; it is up to the author/donor to decide if he or she is willing 256; to distribute software through any other system and a licensee cannot 257; impose that choice. 258; 259; This section is intended to make thoroughly clear what is believed to 260; be a consequence of the rest of this License. 261; 262; 8. If the distribution and/or use of the Program is restricted in 263; certain countries either by patents or by copyrighted interfaces, the 264; original copyright holder who places the Program under this License 265; may add an explicit geographical distribution limitation excluding 266; those countries, so that distribution is permitted only in or among 267; countries not thus excluded. In such case, this License incorporates 268; the limitation as if written in the body of this License. 269; 270; 9. The Free Software Foundation may publish revised and/or new versions 271; of the General Public License from time to time. Such new versions will 272; be similar in spirit to the present version, but may differ in detail to 273; address new problems or concerns. 274; 275; Each version is given a distinguishing version number. If the Program 276; specifies a version number of this License which applies to it and "any 277; later version", you have the option of following the terms and conditions 278; either of that version or of any later version published by the Free 279; Software Foundation. If the Program does not specify a version number of 280; this License, you may choose any version ever published by the Free Software 281; Foundation. 282; 283; 10. If you wish to incorporate parts of the Program into other free 284; programs whose distribution conditions are different, write to the author 285; to ask for permission. For software which is copyrighted by the Free 286; Software Foundation, write to the Free Software Foundation; we sometimes 287; make exceptions for this. Our decision will be guided by the two goals 288; of preserving the free status of all derivatives of our free software and 289; of promoting the sharing and reuse of software generally. 290; 291; NO WARRANTY 292; 293; 11. BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY 294; FOR THE PROGRAM, TO THE EXTENT PERMITTED BY APPLICABLE LAW. EXCEPT WHEN 295; OTHERWISE STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES 296; PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED 297; OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF 298; MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS 299; TO THE QUALITY AND PERFORMANCE OF THE PROGRAM IS WITH YOU. SHOULD THE 300; PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING, 301; REPAIR OR CORRECTION. 302; 303; 12. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING 304; WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY AND/OR 305; REDISTRIBUTE THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, 306; INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING 307; OUT OF THE USE OR INABILITY TO USE THE PROGRAM [INCLUDING BUT NOT LIMITED 308; TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY 309; YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER 310; PROGRAMS], EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE 311; POSSIBILITY OF SUCH DAMAGES. 312; 313; END OF TERMS AND CONDITIONS 314; 315; How to Apply These Terms to Your New Programs 316; 317; If you develop a new program, and you want it to be of the greatest 318; possible use to the public, the best way to achieve this is to make it 319; free software which everyone can redistribute and change under these terms. 320; 321; To do so, attach the following notices to the program. It is safest 322; to attach them to the start of each source file to most effectively 323; convey the exclusion of warranty; and each file should have at least 324; the "copyright" line and a pointer to where the full notice is found. 325; 326; <one line to give the program's name and a brief idea of what it does.> 327; Copyright [C] <year> <name of author> 328; 329; This program is free software; you can redistribute it and/or modify 330; it under the terms of the GNU General Public License as published by 331; the Free Software Foundation; either version 2 of the License, or 332; [at your option] any later version. 333; 334; This program is distributed in the hope that it will be useful, 335; but WITHOUT ANY WARRANTY; without even the implied warranty of 336; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 337; GNU General Public License for more details. 338; 339; You should have received a copy of the GNU General Public License 340; along with this program; if not, write to the Free Software 341; Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA 342; 343; 344; Also add information on how to contact you by electronic and paper mail. 345; 346; If the program is interactive, make it output a short notice like this 347; when it starts in an interactive mode: 348; 349; Gnomovision version 69, Copyright [C] year name of author 350; Gnomovision comes with ABSOLUTELY NO WARRANTY; for details type `show w'. 351; This is free software, and you are welcome to redistribute it 352; under certain conditions; type `show c' for details. 353; 354; The hypothetical commands `show w' and `show c' should show the appropriate 355; parts of the General Public License. Of course, the commands you use may 356; be called something other than `show w' and `show c'; they could even be 357; mouse-clicks or menu items--whatever suits your program. 358; 359; You should also get your employer [if you work as a programmer] or your 360; school, if any, to sign a "copyright disclaimer" for the program, if 361; necessary. Here is a sample; alter the names: 362; 363; Yoyodyne, Inc., hereby disclaims all copyright interest in the program 364; 'Gnomovision' [which makes passes at compilers] written by James Hacker. 365; 366; <signature of Ty Coon>, 1 April 1989 367; Ty Coon, President of Vice 368; 369; This General Public License does not permit incorporating your program into 370; proprietary programs. If your program is a subroutine library, you may 371; consider it more useful to permit linking proprietary applications with the 372; library. If this is what you want to do, use the GNU Library General 373; Public License instead of this License. 374; 375;-------------------------------------------------------------------------- 376; Define constants no longer in OpenCyc 0.9.0 377[create-constant "AbstractInformationalThing"] 378[create-constant "AttributeValue"] 379[create-constant "FoodAndDrink"] 380[create-constant "Money"] 381[create-constant "TemporalRelation"] 382[create-constant "Agent"] 383[create-constant "Utterance"] 384;-------------------------------------------------------------------------- 385 386*/ 387:-module(tt0,[ttholds/1,ttholds/2,ttholds/3,ttholds/4,ttholds/5,ttholds/6,ttholds/7,ttholds/8,ttholds/9]). 388:-if(false). 389:-style_check(-atom). 390:-endif. 391 392:-dynamic ttholds/1,ttholds/2,ttholds/3,ttholds/4,ttholds/5,ttholds/6,ttholds/7,ttholds/8,ttholds/9. 393:-style_check(-singleton). 394:-style_check(- (discontiguous)). 395:-set_prolog_flag(double_quotes,string). 396:-prolog_load_context(stream,_4410),set_stream(_4410,encoding(iso_latin_1)). 397 398:- multifile((ttholds/1,ttholds/2,ttholds/3,ttholds/4,ttholds/5,ttholds/6,ttholds/7,ttholds/8,ttholds/9)). 399:- dynamic((ttholds/1,ttholds/2,ttholds/3,ttholds/4,ttholds/5,ttholds/6,ttholds/7,ttholds/8,ttholds/9)). 400:- discontiguous((ttholds/1,ttholds/2,ttholds/3,ttholds/4,ttholds/5,ttholds/6,ttholds/7,ttholds/8,ttholds/9)). 401 402:- include('tt0_00022_cycl.nldata').