appearance as argument number 1 |
![]() |
(disjointDecomposition Sentence Statement Supposition Question Request Order) | Mid-level-ontology.kif 13697-13697 | 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 15161-15163 | |
(subclass Sentence LinguisticExpression) | Merge.kif 15160-15160 | Sentence is a subclass of linguistic expression |
appearance as argument number 2 |
![]() |
(subclass Formula Sentence) | Merge.kif 1487-1487 | Formula is a subclass of sentence |
(subclass Order Sentence) | Mid-level-ontology.kif 13749-13749 | Order is a subclass of sentence |
(subclass Question Sentence) | Mid-level-ontology.kif 13716-13716 | Question is a subclass of sentence |
(subclass Request Sentence) | Mid-level-ontology.kif 13738-13738 | Request is a subclass of sentence |
(subclass Statement Sentence) | Mid-level-ontology.kif 13699-13699 | Statement is a subclass of sentence |
(subclass Supposition Sentence) | Mid-level-ontology.kif 13727-13727 | Supposition is a subclass of sentence |
(termFormat ChineseLanguage Sentence "句子") | chinese_format.kif 1039-1039 | |
(termFormat EnglishLanguage Sentence "sentence") | english_format.kif 1289-1289 |
appearance as argument number 3 |
![]() |
(domain grammaticalRelation 2 Sentence) | Mid-level-ontology.kif 23709-23709 | The number 2 argument of grammatical relation is an instance of sentence |
(domain securityQA 2 Sentence) | ComputingBrands.kif 4514-4514 | The number 2 argument of securityQA is an instance of sentence |
(domain sententialObject 2 Sentence) | Mid-level-ontology.kif 681-681 | The number 2 argument of sentential object is an instance of sentence |
(domain sententialSubject 2 Sentence) | Mid-level-ontology.kif 689-689 | The number 2 argument of sentential subject is an instance of sentence |
(domain states 2 Sentence) | Media.kif 1815-1815 | The number 2 argument of states is an instance of sentence |
(domain truth 1 Sentence) | Merge.kif 16709-16709 | 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 16692-16698 |
|
(=> (instance ?T Paragraph) (exists (?S) (and (instance ?S Sentence) (part ?S ?T)))) |
Mid-level-ontology.kif 670-675 |
|
![]() |
![]() |