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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Stating
Stating(stating)Affermare, Annunciation, Declarar, abjuration, abnegation, account, accounting, accurse, accusal, accusation, accuse, acknowledge, acquaint, acrophony, add, admission, admit, admonish, admonishment, admonition, adumbrate, advance, 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, approbate, argue...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12959-12960
No TPTP formula. May not be expressible in strict first order. Merge.kif 12957-12958
No TPTP formula. May not be expressible in strict first order. Merge.kif 12956-12956 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 12835-12835 Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 224-224 AdoptingPolicy is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1281-1281 Answering is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27345-27345 Apologizing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1293-1293 Arguing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27364-27364 Confirming is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27416-27416 Correcting is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Merge.kif 12970-12970 Disagreeing is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Facebook.kif 606-606 Notifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13516-13516 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 1269-1269 Registering is a subclass of stating
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 441-441 Terminal attack control is a subclass of stating
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 490-490 Terminal guidance is a subclass of stating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13549-13549 Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1198-1198 "陈述" is the printable form of stating in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 885-885 "stating" is the printable form of stating in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 876-876 "d�clarer" is the printable form of stating in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 409-409 "kathana" is the printable form of stating in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 410-410 "Affermare" is the printable form of stating in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 828-828 "Declarar" is the printable form of stating in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 414-414 "pagsaysay" is the printable form of stating in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 448-448 "stating" is the printable form of stating in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 413-413 "pagsaysay" is the printable form of stating in tg

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 12962-12968
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11593-11598

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27369-27383
No TPTP formula. May not be expressible in strict first order. Government.kif 1473-1484
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2285-2298
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13540-13547
No TPTP formula. May not be expressible in strict first order. Law.kif 78-90
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27421-27433
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2250-2259
No TPTP formula. May not be expressible in strict first order. Law.kif 439-455


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners