Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Sentence LinguisticExpression) | Merge.kif 15729-15729 | Sentence is a subclass of linguistic expression |
| (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 15730-15732 | Sentence is a subclass of linguistic expression |
| (disjointDecomposition Sentence Statement Supposition Question Request Order) | Mid-level-ontology.kif 15835-15835 | Sentence is disjointly decomposed into statement, supposition, question, request, and order |
| appearance as argument number 2 |
|
|
| (subclass Formula Sentence) | Merge.kif 1642-1642 | Formula is a subclass of sentence |
| (subclass Statement Sentence) | Mid-level-ontology.kif 15837-15837 | Statement is a subclass of sentence |
| (subclass Question Sentence) | Mid-level-ontology.kif 15854-15854 | Question is a subclass of sentence |
| (subclass Supposition Sentence) | Mid-level-ontology.kif 15865-15865 | Supposition is a subclass of sentence |
| (subclass Request Sentence) | Mid-level-ontology.kif 15876-15876 | Request is a subclass of sentence |
| (subclass Order Sentence) | Mid-level-ontology.kif 15887-15887 | Order is a subclass of sentence |
| (termFormat EnglishLanguage Sentence "sentence") | english_format.kif 1293-1293 | Order is a subclass of sentence |
| appearance as argument number 3 |
|
|
| (domain truth 1 Sentence) | Merge.kif 17344-17344 | The number 1 argument of truth is an instance of sentence |
| (domain sententialObject 2 Sentence) | Mid-level-ontology.kif 703-703 | The number 2 argument of sentential object is an instance of sentence |
| (domain sententialSubject 2 Sentence) | Mid-level-ontology.kif 711-711 | The number 2 argument of sentential subject is an instance of sentence |
| (domain grammaticalRelation 2 Sentence) | Mid-level-ontology.kif 26655-26655 | The number 2 argument of grammatical relation is an instance of sentence |
| (domain securityQA 2 Sentence) | ComputingBrands.kif 4462-4462 | The number 2 argument of security QA is an instance of sentence |
| (domain states 2 Sentence) | Media.kif 1776-1776 | The number 2 argument of states is an instance of sentence |
| antecedent |
|
|
| (=> (instance ?SENTENCE Sentence) (exists (?PHRASE1 ?PHRASE2) (and (instance ?PHRASE1 NounPhrase) (instance ?PHRASE2 VerbPhrase) (part ?PHRASE1 ?SENTENCE) (part ?PHRASE2 ?SENTENCE)))) |
Merge.kif 15624-15631 | If X is an instance of sentence, then there exist Y, Z such that Y is an instance of noun phrase, Z is an instance of verb phrase, Y is a part of X, and Z is a part of X |
| (=> (instance ?SENT Sentence) (exists (?PROP) (and (instance ?PROP Proposition) (containsInformation ?SENT ?PROP)))) |
Merge.kif 15734-15739 | If X is an instance of sentence, then there exists Y such that Y is an instance of proposition and X contains information Y |
| (=> (and (instance ?R Regretting) (patient ?R ?T) (instance ?T Sentence)) (truth ?T True)) |
Mid-level-ontology.kif 14587-14592 | If X is an instance of regretting, Y is a patient of X, and Y is an instance of sentence, then Y is true |
| (=> (and (instance ?STATE Stating) (result ?STATE ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Statement)) |
Mid-level-ontology.kif 15840-15845 | If X is an instance of stating, Y is a result of X, and Y is an instance of sentence, then Y is an instance of statement |
| (=> (and (instance ?QUESTION Questioning) (result ?QUESTION ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Question)) |
Mid-level-ontology.kif 15858-15863 | If X is an instance of questioning, Y is a result of X, and Y is an instance of sentence, then Y is an instance of question |
| (=> (and (instance ?SUPPOSE Supposing) (result ?SUPPOSE ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Supposition)) |
Mid-level-ontology.kif 15869-15874 | If X is an instance of supposing, Y is a result of X, and Y is an instance of sentence, then Y is an instance of supposition |
| (=> (and (instance ?REQUEST Requesting) (result ?REQUEST ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Request)) |
Mid-level-ontology.kif 15880-15885 | If X is an instance of requesting, Y is a result of X, and Y is an instance of sentence, then Y is an instance of request |
| (=> (and (instance ?ORDER Ordering) (result ?ORDER ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Order)) |
Mid-level-ontology.kif 15891-15896 | If X is an instance of ordering, Y is a result of X, and Y is an instance of sentence, then Y is an instance of order |
| (=> (and (instance ?COMM LinguisticCommunication) (agent ?COMM ?AGENT) (patient ?COMM ?SENTENCE) (instance ?SENTENCE Sentence)) (holdsDuring (WhenFn ?COMM) (states ?AGENT ?SENTENCE))) |
Media.kif 1783-1789 | If X is an instance of linguistic communication, Y is an agent of X, Z is a patient of X, and Z is an instance of sentence, then Y states Z holds during the time of existence of X |
| consequent |
|
|
| (=> (and (property ?ITEM ?VALUE) (instance ?VALUE TruthValue)) (or (instance ?ITEM Sentence) (instance ?ITEM Proposition))) |
Merge.kif 17327-17333 | If X the attribute Y and Y is an instance of truth value, then X is an instance of sentence or X is an instance of proposition |
| (=> (instance ?T Paragraph) (exists (?S) (and (instance ?S Sentence) (part ?S ?T)))) |
Mid-level-ontology.kif 692-697 | If X is an instance of paragraph, then there exists Y such that Y is an instance of sentence and Y is a part of X |
|
