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 13139-13140
No TPTP formula. May not be expressible in strict first order. Merge.kif 13138-13138 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 13036-13036 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 894-894 Answering is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29615-29615 Apologizing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 906-906 Arguing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29634-29634 Confirming is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29686-29686 Correcting is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Merge.kif 13150-13150 Disagreeing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4180-4180 Misdiagnosing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16124-16124 Pleading is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Media.kif 125-125 Reaching agreement is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 882-882 Registering is a subclass of stating
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2692-2692 SITuation REPort 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 16162-16162 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 876-876
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 409-409
No TPTP formula. May not be expressible in strict first order. terms-it.txt 412-412
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2560-2560
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 828-828
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 414-414
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 448-448

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13142-13148
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14236-14241

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29639-29653
No TPTP formula. May not be expressible in strict first order. Government.kif 1513-1524
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2078-2091
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16153-16160
No TPTP formula. May not be expressible in strict first order. Law.kif 65-78
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29691-29703
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2043-2052
No TPTP formula. May not be expressible in strict first order. Law.kif 400-415


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