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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Stating

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 12893-12894
No TPTP formula. May not be expressible in strict first order. Merge.kif 12892-12892 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 12790-12790 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 855-855 Answering is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29023-29023 Apologizing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 867-867 Arguing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29042-29042 Confirming is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29094-29094 Correcting is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Merge.kif 12904-12904 Disagreeing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15569-15569 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 843-843 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 15603-15603 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 1613-1613

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12896-12902
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13702-13707

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29047-29061
No TPTP formula. May not be expressible in strict first order. Government.kif 1510-1521
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 15594-15601
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 29099-29111
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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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