Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Stating
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...

VerbNet: characterize-29.2|report, confess-37.10|acknowledge, advise-37.9|caution, advise-37.9|advise, conjecture-29.5|avow, advise-37.9|advise, advise-37.9|advise, reflexive_appearance-48.1.2|assert, reflexive_appearance-48.1.2|assert, tell-37.2|tell, conjecture-29.5|avow, conjecture-29.5|avouch, conjecture-29.5|avow, judgment-33|fault, judgment-33|denounce, advise-37.9|caution, lecture-37.11|comment, confess-37.10|confess, confess-37.10|confess, say-37.7|confide, confront-98|confront, indicate-78|imply, conjecture-29.5|contend, suspect-81|accuse, say-37.7|declare, defend-85|defend, judgment-33|denounce, characterize-29.2|report, confess-37.10|proclaim, confront-98|confront, judgment-33|fault, defend-85|defend, confess-37.10|confess, advise-37.9|advise, say-37.7|hint, suspect-81|accuse, indicate-78|imply, indicate-78|imply, indicate-78|imply, reflexive_appearance-48.1.2|present, defend-85|defend, judgment-33|denounce, lecture-37.11|remark, advise-37.9|caution, transfer_mesg-37.1.1|tell, lecture-37.11|remark, lecture-37.11|comment, advise-37.9|advise, lecture-37.11|remark, reflexive_appearance-48.1.2|offer, ...


appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3258-3259
No TPTP formula. May not be expressible in strict first order. Merge.kif 12189-12190
No TPTP formula. May not be expressible in strict first order. Merge.kif 12188-12188 Stating is a subclass of linguistic communication

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12086-12086 Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1282-1282 Answering is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27817-27817 Apologizing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1294-1294 Arguing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27836-27836 Confirming is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27888-27888 Correcting is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Merge.kif 12200-12200 Disagreeing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13801-13801 Pleading is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Media.kif 125-125 ReachingAgreement is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1270-1270 Registering is a subclass of stating
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 450-450 Terminal attack control is a subclass of stating
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 502-502 Terminal guidance is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13834-13834 Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1198-1198
No TPTP formula. May not be expressible in strict first order. english_format.kif 1618-1618

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12192-12198
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11884-11889

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27841-27855
No TPTP formula. May not be expressible in strict first order. Government.kif 1467-1478
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2282-2295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13825-13832
No TPTP formula. May not be expressible in strict first order. Law.kif 78-91
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27893-27905
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2247-2256
No TPTP formula. May not be expressible in strict first order. Law.kif 443-459


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners