Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(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
-------------------------


(=>
    (and
        (instance ?COMM LinguisticCommunication)
        (agent ?COMM ?AGENT)
        (patient ?COMM ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (holdsDuring
        (WhenFn ?COMM)
        (states ?AGENT ?SENTENCE)))
Media.kif 1822-1828
(=>
    (and
        (instance ?ORDER Ordering)
        (result ?ORDER ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Order))
Mid-level-ontology.kif 13753-13758
(=>
    (and
        (instance ?QUESTION Questioning)
        (result ?QUESTION ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Question))
Mid-level-ontology.kif 13720-13725
(=>
    (and
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))
Mid-level-ontology.kif 12438-12443
(=>
    (and
        (instance ?REQUEST Requesting)
        (result ?REQUEST ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Request))
Mid-level-ontology.kif 13742-13747
(=>
    (and
        (instance ?STATE Stating)
        (result ?STATE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Statement))
Mid-level-ontology.kif 13702-13707
(=>
    (and
        (instance ?SUPPOSE Supposing)
        (result ?SUPPOSE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Supposition))
Mid-level-ontology.kif 13731-13736
(=>
    (instance ?SENT Sentence)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?SENT ?PROP))))
Merge.kif 15165-15170
(=>
    (instance ?SENTENCE Sentence)
    (exists (?PHRASE1 ?PHRASE2)
        (and
            (instance ?PHRASE1 NounPhrase)
            (instance ?PHRASE2 VerbPhrase)
            (part ?PHRASE1 ?SENTENCE)
            (part ?PHRASE2 ?SENTENCE))))
Merge.kif 15050-15057

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


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 is open source software produced by Articulate Software and its partners