| appearance as argument number 1 |
|
|
| (subclass Proposition Abstract) | Merge.kif 3668-3668 | Proposition is a subclass of abstract |
| (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 3669-3683 | Proposition is a subclass of abstract |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| appearance as argument number 5 |
|
|
| (disjointDecomposition Abstract Quantity Attribute Relation Proposition List) | Merge.kif 1763-1763 | Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list |
| antecedent |
|
|
| (=> (and (buys ?CUST ?AGENT ?ITEM) (instance ?ITEM Proposition)) (exists (?TRANS ?PROC) (and (agent ?TRANS ?CUST) (realization ?PROC ?ITEM) (instance ?TRANS Buying) (patient ?TRANS ?PROC) (origin ?TRANS ?AGENT)))) |
Mid-level-ontology.kif 32523-32533 | If X buys Y from Z and Y is an instance of proposition, then there exist W, V such that X is an agent of W, V expresses the content of Y, W is an instance of buying, V is a patient of W, and W originates at Z |
| (=> (and (offers ?AGENT ?CATALOG) (catalogItem ?PROP ?CATALOG) (subclass ?PROP Proposition)) (modalAttribute (exists (?P ?S ?X) (and (instance ?P ?PROP) (realization ?X ?P) (instance ?S Selling) (patient ?S ?X) (agent ?S ?AGENT))) Possibility)) |
Catalog.kif 64-76 | If X offers items for sale in Y, Z is in Y, and Z is a subclass of proposition, then the statement there exist W, V, U such that W is an instance of Z, U expresses the content of W, V is an instance of selling, U is a patient of V, and X is an agent of V has the modal force of possibility |
| (=> (and (instance ?CREATE Creation) (result ?CREATE ?PROP) (instance ?PROP Proposition) (agent ?CREATE ?AGENT)) (propositionOwner ?AGENT ?PROP)) |
Catalog.kif 172-178 | If X is an instance of creation, Y is a result of X, Y is an instance of proposition, and Z is an agent of X, then Z authored Y |
| (=> (and (instance ?PROP Proposition) (instance ?TEXT (DocumentFn ?PROP))) (exists (?DOC) (containsInformation ?DOC ?TEXT))) |
Geography.kif 4450-4455 | If X is an instance of proposition and Y is an instance of the document of X, then there exists Z such that Z contains information Y |
| (=> (and (instance ?PROP Proposition) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PROP) (instance ?COMM Communication) (patient ?COMM ?CBO)) (represents ?COMM ?PROP)) |
Geography.kif 4457-4464 | If X is an instance of proposition, Y is an instance of content bearing object, Y contains information X, Z is an instance of communication, and Y is a patient of Z, then Z expresses X |
| (=> (and (instance ?PROP Proposition) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PROP) (instance ?ER ExpenseReport) (patient ?ER ?CBO)) (represents ?ER ?PROP)) |
TravelPolicies.kif 614-621 | If X is an instance of proposition, Y is an instance of content bearing object, Y contains information X, Z is an instance of ExpenseReport, and Y is a patient of Z, then Z expresses X |
| consequent |
|
|
|
|
|