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...

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 12224-12225
No TPTP formula. May not be expressible in strict first order. Merge.kif 12223-12223 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 12121-12121 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 837-837 Answering is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25849-25849 Apologizing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 849-849 Arguing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25868-25868 Confirming is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25920-25920 Correcting is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Merge.kif 12235-12235 Disagreeing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12830-12830 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 825-825 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 12864-12864 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 12227-12233
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11017-11022

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25873-25887
No TPTP formula. May not be expressible in strict first order. Government.kif 1499-1510
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2287-2300
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12855-12862
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 25925-25937
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2252-2261
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