| 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 13314-13314 | 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 13315-13316 | Stating is a subclass of linguistic communication |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?STATE Stating) (agent ?STATE ?AGENT) (patient ?STATE ?FORMULA) (instance ?FORMULA Formula)) (holdsDuring (WhenFn ?STATE) (believes ?AGENT ?FORMULA))) |
Merge.kif 13318-13324 | If X is an instance of stating, Y is an agent of X, Z is a patient of X, and Z is an instance of formula, 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 15757-15762 | 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 |
|
|
| (=> (describes ?FORMULA ?OBJECT) (exists (?STATING ?AGENT) (and (instance ?STATING Stating) (agent ?STATING ?AGENT) (patient ?STATING ?FORMULA) (refers ?STATING ?OBJECT)))) |
Mid-level-ontology.kif 17691-17698 | If X describes Y, then there exist Z, W such that Z is an instance of stating, W is an agent of Z, X is a patient of Z, and Z includes a reference to Y |
| (=> (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 32327-32341 | 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 |
| (=> (instance ?C Correcting) (exists (?D ?S ?SP ?CP) (and (instance ?D Disagreeing) (subProcess ?C ?D) (instance ?S Stating) (subProcess ?S ?D) (containsInformation ?S ?SP) (containsInformation ?C ?CP) (refers ?CP ?SP) (not (consistent ?CP ?SP))))) |
Mid-level-ontology.kif 32379-32391 | If X is an instance of correcting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of disagreeing (3) X is a subprocess of Y (4) Z is an instance of stating (5) Z is a subprocess of Y (6) Z contains information W (7) X contains information V (8) V includes a reference to W (9) W is not a consistent 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 1475-1486 | 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 (=> (exists (?S ?PI ?P) (and (instance ?S Stating) (containsFormula ?S (and (instance ?PI ?P) (agent ?PI ?A2))))) (modalAttribute (and (instance ?PI ?P) (agent ?PI ?A2)) Likely)))) |
Law.kif 381-396 | If X trusts Y will do Z, then X believes there exist W, V, Z such that 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 2043-2052 | 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 2078-2091 | 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 |
|
|
|