Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Stating(stating) |  | Annunciation, abjuration, abnegation, account, accounting, accurse, accusal, accusation, accuse, acknowledge, acquaint, acrophony, add, admission, admit, admonish, admonishment, admonition, adumbrate, advance, advise, advisory, affidavit, affirm, affirmation, affirmative, aforementioned, aforesaid, alibi, allegation, alleged, allegedly, allegement, amendment, anathematise, anathematize, anathemise, anathemize, anecdote, animatism, announcement, annunciatory, apologia, apology, append, appointment, apprisal, apprise, apprize, approbate... |
| appearance as argument number 1 |
|
|
| s__subclass(s__Stating,s__LinguisticCommunication)
|
Merge.kif 13437-13437 | Stating is a subclass of linguistic communication |
| s__documentation(s__Stating, s__EnglishLanguage, "Instances of this Class commit the agent to some truth_For example, John claimed that the moon is made of green cheese_") | Merge.kif 13438-13439 | Stating is a subclass of linguistic communication |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__AGENT : $i,V__FORMULA : $i,V__STATE : $i] : (((s__instance(V__STATE, s__Stating) & s__agent(V__STATE, V__AGENT) & s__containsFormula(V__STATE, V__FORMULA)) => s__holdsDuring(s__WhenFn(V__STATE), s__believes(V__AGENT, V__FORMULA)))) | Merge.kif 13441-13448 | If X is an instance of stating, Y is an agent of X, and X contains the formula Z, then Y believes Z holds during the time of existence of X |
| ! [V__STATE,V__SENTENCE] : (((s__instance(V__STATE,s__Stating) & s__result(V__STATE,V__SENTENCE) & s__instance(V__SENTENCE,s__Sentence)) => s__instance(V__SENTENCE,s__Statement)) )
|
Mid-level-ontology.kif 15840-15845 | If X is an instance of stating, Y is a result of X, and Y is an instance of sentence, then Y is an instance of statement |
| consequent |
|
|
| ! [V__A,V__P,V__C] : (((s__instance(V__A,s__Agreement) & s__instance(V__A,s__AutonomousAgent) & s__instance(V__P,s__Proposition)) => ((s__instance(V__C,s__Confirming) & s__agent(V__C,V__A) & s__containsInformation(V__C,V__P)) => (? [V__S,V__RA,V__A2] : ((s__instance(V__A2,s__Agreement) & s__instance(V__A2,s__AutonomousAgent) & (s__instance(V__S,s__Stating) & s__earlier(V__S,V__C) & s__instance(V__RA,s__ReachingAgreement) & s__agent(V__S,V__A2) & s__containsInformation(V__RA,V__P) & s__containsInformation(V__S,V__P) & s__partyToAgreement(V__RA,V__A) & s__partyToAgreement(V__RA,V__A2))))))) )
|
Mid-level-ontology.kif 32246-32260 | If X is an instance of confirming, Y is an agent of X, and X contains information Z, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of stating (3) W happens earlier than X (4) V is an instance of reaching agreement (5) U is an agent of W (6) V contains information Z (7) W contains information Z (8) Y is a party to agreement of V (9) U is a party to agreement of V |
| ! [V__AREA : $i,V__CAB : $i] : (((s__instance(V__CAB, s__GovernmentCabinet) & s__subOrganization(V__CAB, s__GovernmentFn(V__AREA)) & s__instance(V__AREA, s__GeopoliticalArea)) => s__hasPurpose(V__CAB, ( ? [V__ADVICE:$i, V__LEADER:$i] : ((s__instance(V__ADVICE, s__Stating) & s__agent(V__ADVICE, V__CAB) & s__patient(V__ADVICE, V__LEADER) & s__leader(V__LEADER, s__GovernmentFn(V__AREA)))))))) | Government.kif 1484-1495 | If X is an instance of government cabinet, X is a part of the organization the government of Y, and Y is an instance of geopolitical area, then X has the purpose there exist Z, W such that Z is an instance of stating, X is an agent of Z, W is a patient of Z, and the government of Y is a leader of W |
| ! [V__A : $i,V__F : $i,V__T1 : $i] : ((s__holdsDuring(V__T1, s__prohibits(V__A, V__F)) => ( ? [V__S:$i, V__B:$i, V__P:$i] : ((s__instance(V__S, s__Stating) & s__during(s__WhenFn(V__S), V__T1) & s__agent(V__S, V__A) & s__containsFormula(V__S, (s__causes(s__agent(V__P, V__B), s__truth(V__F, '$true__m')) => s__punishes(V__A, V__B)))))))) | Law.kif 65-78 | If X prohibits Y holds during Z, then there exist W, V, U such that W is an instance of stating, the time of existence of W takes place during Z, X is an agent of W, and W contains the formula V is an agent of U causes Y is trueX punishes V |
| ! [V__A1 : $i,V__A2 : $i,V__P : $i,V__PI : $i,V__S : $i] : ((s__trusts(V__A1, V__A2, V__P) => s__believes(V__A1, ((s__instance(V__S, s__Stating) & s__containsFormula(V__S, (s__instance(V__PI, V__P) & s__agent(V__PI, V__A2)))) => s__modalAttribute((s__instance(V__PI, V__P) & s__agent(V__PI, V__A2)), s__Likely))))) | Law.kif 382-396 | If X trusts Y will do Z, then X believes W is an instance of stating, W contains the formula V is an instance of Z, Y is an agent of Vthe statement V is an instance of Z, and Y is an agent of V has the modal force of likely |
| ! [V__DESCRIPTIONPAGE] : ((s__instance(V__DESCRIPTIONPAGE,s__ProductDescriptionPage) => (? [V__PRODUCT,V__DESCRIPTION,V__STATING,V__DESCRIPTIONCONTENT] : ((s__instance(V__DESCRIPTION,s__Process) & s__instance(V__DESCRIPTIONCONTENT,s__Object) & (s__instance(V__PRODUCT,s__Class) & s__instance(V__STATING,s__Stating) & s__patient(V__STATING,V__DESCRIPTION) & s__refers(V__DESCRIPTION,V__PRODUCT) & s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT) & s__part(V__DESCRIPTIONCONTENT,V__DESCRIPTIONPAGE)))))) )
|
UXExperimentalTerms.kif 2044-2053 | If X is an instance of product description page, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of class (3) W is an instance of stating (4) Z is a patient of W (5) Z includes a reference to Y (6) V is a result of Z (7) V is a part of X |
| ! [V__PAGE,V__ADVERTISING,V__ITEM] : (((s__instance(V__PAGE,s__ViewItemPage) & s__instance(V__ADVERTISING,s__WebListing) & s__component(V__ADVERTISING,V__PAGE) & s__patient(V__ADVERTISING,V__ITEM) & s__instance(V__ITEM,s__Physical)) => (? [V__DESCRIPTION,V__STATING,V__DESCRIPTIONCONTENT] : ((s__instance(V__DESCRIPTION,s__Process) & s__instance(V__DESCRIPTIONCONTENT,s__Object) & (s__instance(V__STATING,s__Stating) & s__patient(V__STATING,V__DESCRIPTION) & s__refers(V__DESCRIPTION,V__ITEM) & s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT) & s__part(V__DESCRIPTIONCONTENT,V__PAGE)))))) )
|
UXExperimentalTerms.kif 2079-2092 | If X is an instance of next generation view item, Y is an instance of web listing, Y is a component of X, Z is a patient of Y, and Z is an instance of physical, then there exist W, V, U such that V is an instance of stating, W is a patient of V, W includes a reference to Z, U is a result of W, and U is a part of X |
|