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 |
![]() |
![]() |
![]() |