Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 15606-15606 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 15607-15609 Sentence is a subclass of linguistic expression
(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 15785-15785 Sentence is disjointly decomposed into statement, supposition, question, request, and order

appearance as argument number 2
-------------------------


(subclass Formula Sentence) Merge.kif 1577-1577 Formula is a subclass of sentence
(subclass Statement Sentence) Mid-level-ontology.kif 15787-15787 Statement is a subclass of sentence
(subclass Question Sentence) Mid-level-ontology.kif 15804-15804 Question is a subclass of sentence
(subclass Supposition Sentence) Mid-level-ontology.kif 15815-15815 Supposition is a subclass of sentence
(subclass Request Sentence) Mid-level-ontology.kif 15826-15826 Request is a subclass of sentence
(subclass Order Sentence) Mid-level-ontology.kif 15837-15837 Order is a subclass of sentence
(termFormat EnglishLanguage Sentence "sentence") english_format.kif 1289-1289 Order is a subclass of sentence

appearance as argument number 3
-------------------------


(domain truth 1 Sentence) Merge.kif 17219-17219 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 26737-26737 The number 2 argument of grammatical relation is an instance of sentence
(domain securityQA 2 Sentence) ComputingBrands.kif 4457-4457 The number 2 argument of security QA 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 15490-15497 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 15611-15616 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 14493-14498 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 15790-15795 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 15808-15813 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 15819-15824 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 15830-15835 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 15841-15846 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

consequent
-------------------------


(=>
    (and
        (property ?ITEM ?VALUE)
        (instance ?VALUE TruthValue))
    (or
        (instance ?ITEM Sentence)
        (instance ?ITEM Proposition)))		 Merge.kif 17202-17208 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-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners