Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| s__subclass(s__Proposition,s__Abstract)
|
Merge.kif 3668-3668 | Proposition is a subclass of abstract |
| s__documentation(s__Proposition, s__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 |
|
|
| antecedent |
|
|
| ! [V__CUST,V__AGENT,V__ITEM] : (((s__instance(V__CUST,s__CognitiveAgent) & s__instance(V__AGENT,s__AutonomousAgent)) => ((s__buys(V__CUST,V__AGENT,V__ITEM) & s__instance(V__ITEM,s__Proposition)) => (? [V__TRANS,V__PROC] : ((s__instance(V__PROC,s__Process) & (s__agent(V__TRANS,V__CUST) & s__realization(V__PROC,V__ITEM) & s__instance(V__TRANS,s__Buying) & s__patient(V__TRANS,V__PROC) & s__origin(V__TRANS,V__AGENT))))))) )
|
Mid-level-ontology.kif 32573-32583 | 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 |
| ! [V__AGENT : $i,V__CATALOG : $i,V__PROP : $i] : (((s__offers(V__AGENT, V__CATALOG) & s__catalogItem(V__PROP, V__CATALOG) & s__subclass(V__PROP, s__Proposition)) => s__modalAttribute(( ? [V__P:$i, V__S:$i, V__X:$i] : ((s__instance(V__P, V__PROP) & s__realization(V__X, V__P) & s__instance(V__S, s__Selling) & s__patient(V__S, V__X) & s__agent(V__S, V__AGENT)))), s__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 |
| ! [V__AGENT,V__CREATE,V__PROP] : ((s__instance(V__AGENT,s__CognitiveAgent) => ((s__instance(V__CREATE,s__Creation) & s__result(V__CREATE,V__PROP) & s__instance(V__PROP,s__Proposition) & s__agent(V__CREATE,V__AGENT)) => s__propositionOwner(V__AGENT,V__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 |
| ! [V__TEXT,V__PROP] : ((s__instance(V__TEXT,s__Proposition) => ((s__instance(V__PROP,s__Proposition) & s__instance(V__TEXT,s__DocumentFn(V__PROP))) => (? [V__DOC] : ((s__instance(V__DOC,s__ContentBearingPhysical) & s__containsInformation(V__DOC,V__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 |
| ! [V__PROP,V__CBO,V__COMM] : (((s__instance(V__PROP,s__Proposition) & s__instance(V__CBO,s__ContentBearingObject) & s__containsInformation(V__CBO,V__PROP) & s__instance(V__COMM,s__Communication) & s__patient(V__COMM,V__CBO)) => s__represents(V__COMM,V__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 |
| ! [V__PROP,V__CBO,V__ER] : (((s__instance(V__PROP,s__Proposition) & s__instance(V__CBO,s__ContentBearingObject) & s__containsInformation(V__CBO,V__PROP) & s__instance(V__ER,s__ExpenseReport) & s__patient(V__ER,V__CBO)) => s__represents(V__ER,V__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 |
|
|
| ! [V__SENT] : ((s__instance(V__SENT,s__Sentence) => (? [V__PROP] : ((s__instance(V__PROP,s__Proposition) & s__containsInformation(V__SENT,V__PROP))))) )
|
Merge.kif 15734-15739 | If X is an instance of sentence, then there exists Y such that Y is an instance of proposition and X contains information Y |
| ! [V__ITEM,V__VALUE] : (((s__property(V__ITEM,V__VALUE) & s__instance(V__VALUE,s__TruthValue)) => (s__instance(V__ITEM,s__Sentence) | s__instance(V__ITEM,s__Proposition))) )
|
Merge.kif 17327-17333 | If X the attribute Y and Y is an instance of truth value, then X is an instance of sentence or X is an instance of proposition |
| ! [V__X : $i] : ((s__instance(V__X, s__PartInspection) => s__hasPurpose(V__X, ( ? [V__O:$i, V__P:$i] : ((s__instance(V__O, s__SelfConnectedObject) & s__patient(V__X, V__O) & s__instance(V__P, s__Proposition) & s__refers(V__P, V__O) & s__modalAttribute(s__conforms(V__O, V__P), s__Necessity))))))) | Economy.kif 2067-2077 | If X is an instance of part inspection, then X has the purpose there exist Y, Z such that Y is an instance of self connected object, Y is a patient of X, Z is an instance of proposition, Z includes a reference to Y, and the statement Y conforms to Z has the modal force of necessity |
| ! [V__CONST : $i] : ((s__instance(V__CONST, s__Constitution) => ( ? [V__FORMULA:$i, V__PART:$i] : ((s__instance(V__FORMULA, s__Formula) & s__containsFormula(V__PART, V__FORMULA) & s__instance(V__PART, s__Proposition) & s__subProposition(V__PART, V__CONST) & s__modalAttribute(V__FORMULA, s__Obligation)))))) | Government.kif 617-625 | If X is an instance of constitution, then there exist Y, Z such that Y is an instance of formula, Z contains the formula Y, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of obligation |
| ! [V__CONST : $i] : ((s__instance(V__CONST, s__Constitution) => ( ? [V__FORMULA:$i, V__PART:$i] : ((s__instance(V__FORMULA, s__Formula) & s__containsFormula(V__PART, V__FORMULA) & s__instance(V__PART, s__Proposition) & s__subProposition(V__PART, V__CONST) & s__modalAttribute(V__FORMULA, s__Permission)))))) | Government.kif 627-635 | If X is an instance of constitution, then there exist Y, Z such that Y is an instance of formula, Z contains the formula Y, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of permission |
| ! [V__LA,V__P] : (((s__instance(V__LA,s__LegalAction) & s__instance(V__P,s__Physical)) => (s__evidence(V__LA,V__P) => (? [V__A,V__PROP] : ((s__instance(V__PROP,s__Proposition) & s__instance(V__A,s__Argument) & s__refers(V__A,V__LA) & s__represents(V__PROP,V__P) & s__premise(V__A,V__PROP)))))) )
|
Law.kif 180-188 | If X is evidence in Y, then there exist Z, W such that W is an instance of proposition, Z is an instance of argument, Z includes a reference to Y, W expresses X, and W is a premise of Z |
| ! [V__M : $i] : ((s__instance(V__M, s__MilitaryScreeningTactic) => s__hasPurpose(V__M, ( ? [V__D:$i, V__P:$i] : ((s__instance(V__D, s__Discovering) & s__patient(V__D, V__P) & s__instance(V__P, s__Proposition) & s__attribute(V__P, s__Enemy))))))) | Military.kif 423-431 | If X is an instance of military screening tactic, then X has the purpose there exist Y, Z such that Y is an instance of discovering, Z is a patient of Y, Z is an instance of proposition, and enemy is an attribute of Z |
| ! [V__WAREHOUSE : $i] : ((s__instance(V__WAREHOUSE, s__DataWarehouse) => s__hasPurpose(V__WAREHOUSE, ( ? [V__SUBJECT:$i] : ((s__instance(V__SUBJECT, s__Proposition) & ( ! [V__DATA:$i] : ((s__refers(V__DATA, V__SUBJECT) & s__component(V__DATA, V__WAREHOUSE)))))))))) | UXExperimentalTerms.kif 2205-2214 | If X is an instance of data warehouse, then X has the purpose there exists Y such that Y is an instance of proposition, Z Z includes a reference to Y, and Z is a component of X |
| ! [V__CBO] : ((s__instance(V__CBO,s__ContentBearingObject) => (? [V__PROP] : ((s__instance(V__PROP,s__Proposition) & s__containsInformation(V__CBO,V__PROP))))) )
|
TravelPolicies.kif 95-100 | If X is an instance of content bearing object, then there exists Y such that Y is an instance of proposition and X contains information Y |
| ! [V__C] : ((s__instance(V__C,s__Communication) => (? [V__PROP] : ((s__instance(V__PROP,s__Proposition) & s__containsInformation(V__C,V__PROP))))) )
|
TravelPolicies.kif 102-107 | If X is an instance of communication, then there exists Y such that Y is an instance of proposition and X contains information Y |
| ! [V__CD] : ((s__instance(V__CD,s__ContentDevelopment) => (? [V__PROP] : ((s__instance(V__PROP,s__Proposition) & s__containsInformation(V__CD,V__PROP))))) )
|
TravelPolicies.kif 112-117 | If X is an instance of content development, then there exists Y such that Y is an instance of proposition and X contains information Y |
|