| 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 |
|
|
| (subclass Stating LinguisticCommunication) | Merge.kif 13437-13437 | Stating is a subclass of linguistic communication |
| (documentation Stating 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 |
|
|
| (=> (and (instance ?STATE Stating) (agent ?STATE ?AGENT) (containsFormula ?STATE ?FORMULA)) (holdsDuring (WhenFn ?STATE) (believes ?AGENT ?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 |
| (=> (and (instance ?STATE Stating) (result ?STATE ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Statement)) |
Mid-level-ontology.kif 15790-15795 | 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 |
|
|
| (=> (and (instance ?C Confirming) (agent ?C ?A) (containsInformation ?C ?P)) (exists (?S ?RA ?A2) (and (instance ?S Stating) (earlier ?S ?C) (instance ?RA ReachingAgreement) (agent ?S ?A2) (containsInformation ?RA ?P) (containsInformation ?S ?P) (partyToAgreement ?RA ?A) (partyToAgreement ?RA ?A2)))) |
Mid-level-ontology.kif 32196-32210 | 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 |
| (=> (and (instance ?CAB GovernmentCabinet) (subOrganization ?CAB (GovernmentFn ?AREA)) (instance ?AREA GeopoliticalArea)) (hasPurpose ?CAB (exists (?ADVICE ?LEADER) (and (instance ?ADVICE Stating) (agent ?ADVICE ?CAB) (patient ?ADVICE ?LEADER) (leader ?LEADER (GovernmentFn ?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 |
| (=> (holdsDuring ?T1 (prohibits ?A ?F)) (exists (?S ?B ?P) (and (instance ?S Stating) (during (WhenFn ?S) ?T1) (agent ?S ?A) (containsFormula ?S (=> (causes (agent ?P ?B) (truth ?F True)) (punishes ?A ?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 |
| (=> (trusts ?A1 ?A2 ?P) (believes ?A1 (=> (and (instance ?S Stating) (containsFormula ?S (and (instance ?PI ?P) (agent ?PI ?A2)))) (modalAttribute (and (instance ?PI ?P) (agent ?PI ?A2)) 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 |
| (=> (instance ?DESCRIPTIONPAGE ProductDescriptionPage) (exists (?PRODUCT ?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT) (and (instance ?PRODUCT Class) (instance ?STATING Stating) (patient ?STATING ?DESCRIPTION) (refers ?DESCRIPTION ?PRODUCT) (result ?DESCRIPTION ?DESCRIPTIONCONTENT) (part ?DESCRIPTIONCONTENT ?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 |
| (=> (and (instance ?PAGE ViewItemPage) (instance ?ADVERTISING WebListing) (component ?ADVERTISING ?PAGE) (patient ?ADVERTISING ?ITEM) (instance ?ITEM Physical)) (exists (?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT) (and (instance ?STATING Stating) (patient ?STATING ?DESCRIPTION) (refers ?DESCRIPTION ?ITEM) (result ?DESCRIPTION ?DESCRIPTIONCONTENT) (part ?DESCRIPTIONCONTENT ?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 |
|
|
|