appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15602-15602 | Sentence is disjointly decomposed into statement, supposition, question, request, and order |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3559-3560 | Sentence is disjointly decomposed into statement, supposition, question, request, and order |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15581-15583 | Sentence is disjointly decomposed into statement, supposition, question, request, and order |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15580-15580 | Sentence is a subclass of linguistic expression |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1542-1542 | Formula is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15654-15654 | Order is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15621-15621 | Question is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15643-15643 | Request is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15604-15604 | Statement is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15632-15632 | Supposition is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1039-1039 | Supposition is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1289-1289 | Supposition is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 717-717 | Supposition is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 249-249 | Supposition is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 252-252 | Supposition is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2401-2401 | Supposition is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 669-669 | Supposition is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 254-254 | Supposition is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 287-287 | Supposition is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 546-546 | Supposition is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 738-738 | Supposition is a subclass of sentence |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 253-253 | Supposition is a subclass of sentence |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26020-26020 | The number 2 argument of grammatical relation is an instance of sentence |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4546-4546 | The number 2 argument of security QA is an instance of sentence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 713-713 | The number 2 argument of sentential object is an instance of sentence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 721-721 | The number 2 argument of sentential subject is an instance of sentence |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1831-1831 | The number 2 argument of states is an instance of sentence |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17150-17150 | The number 1 argument of truth is an instance of sentence |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1838-1844 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15658-15663 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15625-15630 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14308-14313 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15647-15652 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15607-15612 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15636-15641 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15585-15590 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15470-15477 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17133-17139 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 702-707 |
|
![]() |
![]() |