appearance as argument number 1 |
![]() |
(disjointDecomposition Sentence Statement Supposition Question Request Order) | Mid-level-ontology.kif 14101-14101 | Sentence is disjointly decomposed into statement, supposition, question, request, and order |
(documentation Sentence ChineseLanguage "这是以一种 Language 句法工整的说话。它至少包括一个谓词 和一个主语(可以是明确的或含蓄的),并用于表达一个 Proposition。") | chinese_format.kif 3559-3560 | |
(documentation Sentence EnglishLanguage "A syntactically well-formed formula of a Language. It includes, at minimum, a predicate and a subject (which may be explicit or implicit), and it expresses a Proposition.") | Merge.kif 15327-15329 | |
(subclass Sentence LinguisticExpression) | Merge.kif 15326-15326 | Sentence is a subclass of linguistic expression |
appearance as argument number 2 |
![]() |
(subclass Formula Sentence) | Merge.kif 1534-1534 | Formula is a subclass of sentence |
(subclass Order Sentence) | Mid-level-ontology.kif 14153-14153 | Order is a subclass of sentence |
(subclass Question Sentence) | Mid-level-ontology.kif 14120-14120 | Question is a subclass of sentence |
(subclass Request Sentence) | Mid-level-ontology.kif 14142-14142 | Request is a subclass of sentence |
(subclass Statement Sentence) | Mid-level-ontology.kif 14103-14103 | Statement is a subclass of sentence |
(subclass Supposition Sentence) | Mid-level-ontology.kif 14131-14131 | Supposition is a subclass of sentence |
(termFormat ChineseLanguage Sentence "句子") | chinese_format.kif 1039-1039 | |
(termFormat EnglishLanguage Sentence "sentence") | english_format.kif 1289-1289 | |
(termFormat FrenchLanguage Sentence "phrase") | french_format.kif 717-717 | |
(termFormat Hindi Sentence "vaakya") | terms-hindi.txt 249-249 | |
(termFormat ItalianLanguage Sentence "Frase") | terms-it.txt 250-250 | |
(termFormat JapaneseLanguage Sentence "文") | japanese_format.kif 2401-2401 | |
(termFormat PortugueseLanguage Sentence "Frase") | portuguese_format.kif 669-669 | |
(termFormat cb Sentence "hunahuna") | terms-cb.txt 254-254 | |
(termFormat cz Sentence "sentence") | terms-cz.txt 287-287 | |
(termFormat ro Sentence "propoziþie") | relations-ro.kif 738-738 | |
(termFormat tg Sentence "pangungusap") | terms-tg.txt 253-253 |
appearance as argument number 3 |
![]() |
(domain grammaticalRelation 2 Sentence) | Mid-level-ontology.kif 24436-24436 | The number 2 argument of grammatical relation is an instance of sentence |
(domain securityQA 2 Sentence) | ComputingBrands.kif 4549-4549 | The number 2 argument of security QA is an instance of sentence |
(domain sententialObject 2 Sentence) | Mid-level-ontology.kif 692-692 | The number 2 argument of sentential object is an instance of sentence |
(domain sententialSubject 2 Sentence) | Mid-level-ontology.kif 700-700 | The number 2 argument of sentential subject is an instance of sentence |
(domain states 2 Sentence) | Media.kif 1829-1829 | The number 2 argument of states is an instance of sentence |
(domain truth 1 Sentence) | Merge.kif 16875-16875 | The number 1 argument of truth is an instance of sentence |
antecedent |
![]() |
consequent |
![]() |
(=> (and (property ?ITEM ?VALUE) (instance ?VALUE TruthValue)) (or (instance ?ITEM Sentence) (instance ?ITEM Proposition))) |
Merge.kif 16858-16864 |
|
(=> (instance ?T Paragraph) (exists (?S) (and (instance ?S Sentence) (part ?S ?T)))) |
Mid-level-ontology.kif 681-686 |
|
![]() |
![]() |