| appearance as argument number 1 |
|
|
| (documentation Proposition ChineseLanguage "Proposition 是 Abstract 实体， 它表达一个完整 的意思或是一套想法。例如：公式 '(instance Yojo Cat)' 表达 Proposition 为那个叫佑舟的实体是猫 Class 的一个元素。注：命题限于由 Language 的个别句子所表达的内容，这可以包括由理论、书本和甚至整个 图书馆所表达的内容。千万要区别 Proposition 和表达命题的 ContentBearingObject ， Proposition 实一个信息，例如说猫在地毯上；但是 ContentBearingObject 是一个表达该信息的 Object。 Proposition 可以有多个描述的抽象概念：字符串、声音和图标等。例如：猫在地毯上这个 Proposition 在这里是以显示器上或者是打印在纸上的一串图形字符来表示，但是它也可以由一系列的声音或者是某些 非拉丁字母或是某些加密形式来表示。") | chinese_format.kif 2031-2038 | |
| (documentation Proposition EnglishLanguage "Propositions are Abstract entities that express a complete thought or a set of such thoughts. As an example, the formula '(instance Yojo Cat)' expresses the Proposition that the entity named Yojo is an element of the Class of Cats. Note that propositions are not restricted to the content expressed by individual sentences of a Language. They may encompass the content expressed by theories, books, and even whole libraries. It is important to distinguish Propositions from the ContentBearingObjects that express them. A Proposition is a piece of information, e.g. that the cat is on the mat, but a ContentBearingObject is an Object that represents this information. A Proposition is an abstraction that may have multiple representations: strings, sounds, icons, etc. For example, the Proposition that the cat is on the mat is represented here as a string of graphical characters displayed on a monitor and/ or printed on paper, but it can be represented by a sequence of sounds or by some non-latin alphabet or by some cryptographic form.") | Merge.kif 3596-3610 | |
| (documentation Proposition JapaneseLanguage "Proposition は、完全な思考またはそのような 考えのセットを表現する Abstract エンティティである。例として、数式 '(インスタンスヨージョキャット)' は、 Proposition を表し、ヨージョという名前のエンティティが猫の Class の要素である 。 注： 提案は、個々の Language の文章により表現されたコンテンツに限定されない。 それらは理論、書籍、 さらには図書館全体によって表現される内容を包含するかもしれない。Proposition と ContentBearingObject を区別することが重要である。Proposition は、猫がマット上にあるなど、 情報の一部だが、ContentBearingObject はこの情報を表す Object である。 Proposition は、 文字列、サウンド、アイコンなど、複数の表現を持つ抽象化である。 例：猫がマットの上にある Proposition が ここでは、モニターもしくは紙に印刷されて、グラフィカル文字の文字列として表示され るが、音、または非ラテン系のアルファベットまたは暗号形式によるシーケンスで表すことができる。") | japanese_format.kif 673-682 | |
| (subclass Proposition Abstract) | Merge.kif 3595-3595 | Proposition is a subclass of abstract |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain DocumentFn 1 Proposition) | Geography.kif 4480-4480 | The number 1 argument of DocumentFn is an instance of proposition |
| (domain accountInformation 2 Proposition) | ComputingBrands.kif 4407-4407 | The number 2 argument of accountInformation is an instance of proposition |
| (domain agreementAdoptionDate 1 Proposition) | Government.kif 661-661 | The number 1 argument of agreementAdoptionDate is an instance of proposition |
| (domain agreementClause 1 Proposition) | Mid-level-ontology.kif 15428-15428 | The number 1 argument of agreementClause is an instance of proposition |
| (domain agreementEffectiveDuring 1 Proposition) | Government.kif 720-720 | The number 1 argument of agreementEffectiveDuring is an instance of proposition |
| (domain agreementRevisionDate 1 Proposition) | Government.kif 692-692 | The number 1 argument of agreementRevisionDate is an instance of proposition |
| (domain agreementRevisionDate 3 Proposition) | Government.kif 694-694 | The number 3 argument of agreementRevisionDate is an instance of proposition |
| (domain capacityByArrangement 2 Proposition) | Hotel.kif 791-791 | The number 2 argument of capacityByArrangement is an instance of proposition |
| (domain conclusion 2 Proposition) | Merge.kif 17093-17093 | The number 2 argument of conclusion is an instance of proposition |
| (domain conforms 2 Proposition) | Mid-level-ontology.kif 28815-28815 | The number 2 argument of conforms is an instance of proposition |
| (domain consistent 1 Proposition) | Merge.kif 17101-17101 | The number 1 argument of consistent is an instance of proposition |
| (domain consistent 2 Proposition) | Merge.kif 17102-17102 | The number 2 argument of consistent is an instance of proposition |
| (domain containsInformation 2 Proposition) | Merge.kif 1393-1393 | The number 2 argument of containsInformation is an instance of proposition |
| (domain dateOpenedForSignature 1 Proposition) | Geography.kif 4538-4538 | The number 1 argument of dateOpenedForSignature is an instance of proposition |
| (domain insured 1 Proposition) | Mid-level-ontology.kif 8294-8294 | The number 1 argument of insured is an instance of proposition |
| (domain originalExpressedInLanguage 1 Proposition) | Music.kif 1456-1456 | The number 1 argument of originalExpressedInLanguage is an instance of proposition |
| (domain premise 2 Proposition) | Merge.kif 17069-17069 | The number 2 argument of premise is an instance of proposition |
| (domain propositionOwner 2 Proposition) | Catalog.kif 170-170 | The number 2 argument of propositionOwner is an instance of proposition |
| (domain realization 2 Proposition) | Merge.kif 4651-4651 | The number 2 argument of realization is an instance of proposition |
| (domain reservedPackage 2 Proposition) | Hotel.kif 2982-2982 | The number 2 argument of reservedPackage is an instance of proposition |
| (domain subProposition 1 Proposition) | Merge.kif 4690-4690 | The number 1 argument of subProposition is an instance of proposition |
| (domain subProposition 2 Proposition) | Merge.kif 4691-4691 | The number 2 argument of subProposition is an instance of proposition |
| appearance as argument number 5 |
|
|
| (disjointDecomposition Abstract Quantity Attribute Relation Proposition List) | Merge.kif 1705-1705 | Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list |
| antecedent |
|
|
| consequent |
|
|
|
|
|