Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Sentence
Sentence(sentence)Bayes'_postulate, anacoluthia, anacoluthon, asyndetic, axiom, axiomatic, axiomatical, complex_sentence, compound_sentence, contradictory, contrary, converse, conversion, cross-sentential, declarative_sentence, declaratory_sentence, double_negative, hypallage, hyperbaton, hypozeugma, hypozeuxis, intrasentential, lemma, loose_sentence, major_premise, major_premiss, minor_premise, minor_premiss, negation, periodic_sentence, polysyndeton, posit, postulate, postulational, proposition, run-on_sentence, sentence, sentential, simple_sentence, subsumption, syndetic, thesis, topic_sentence

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners