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 13278-13279
No TPTP formula. May not be expressible in strict first order. Merge.kif 13277-13277 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 13175-13175 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 887-887 Answering is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31536-31536 Apologizing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 899-899 Arguing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31555-31555 Confirming is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31607-31607 Correcting is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Merge.kif 13289-13289 Disagreeing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4186-4186 Misdiagnosing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17511-17511 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 875-875 Registering is a subclass of stating
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2727-2727 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 17549-17549 Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1198-1198 Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order. english_format.kif 1613-1613 Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order. french_format.kif 876-876 Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 409-409 Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order. terms-it.txt 412-412 Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2560-2560 Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 828-828 Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 414-414 Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 448-448 Testifying is a subclass of stating

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 13281-13287
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15607-15612

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31560-31574
No TPTP formula. May not be expressible in strict first order. Government.kif 1475-1486
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 17540-17547
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 31612-31624
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 406-421


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