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 11848-11848 Sentence is disjointly decomposed into statement, supposition, question, request, and order
(documentation Sentence ChineseLanguage "这是以一种 Language 句法工整的说话。它至少包括一个谓词 和一个主语(可以是明确的或含蓄的),并用于表达一个 Proposition。") Merge.kif 15553-15554
(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 15550-15552
(subclass Sentence LinguisticExpression) Merge.kif 15549-15549 Sentence is a subclass of linguistic expression

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


(subclass Formula Sentence) Merge.kif 1554-1554 Formula is a subclass of sentence
(subclass Order Sentence) Mid-level-ontology.kif 11900-11900 Order is a subclass of sentence
(subclass Question Sentence) Mid-level-ontology.kif 11867-11867 Question is a subclass of sentence
(subclass Request Sentence) Mid-level-ontology.kif 11889-11889 Request is a subclass of sentence
(subclass Statement Sentence) Mid-level-ontology.kif 11850-11850 Statement is a subclass of sentence
(subclass Supposition Sentence) Mid-level-ontology.kif 11878-11878 Supposition is a subclass of sentence
(termFormat ChineseLanguage Sentence "句子") chinese_format.kif 1039-1039 "句子" is the printable form of sentence in ChineseLanguage
(termFormat EnglishLanguage Sentence "sentence") english_format.kif 1188-1188 "sentence" is the printable form of sentence in english language
(termFormat JapaneseLanguage Sentence "文") english_format.kif 1189-1189 "文" is the printable form of sentence in japanese language

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


(domain grammaticalRelation 2 Sentence) Mid-level-ontology.kif 22055-22055 The number 2 argument of grammatical relation is an instance of sentence
(domain sententialObject 2 Sentence) Mid-level-ontology.kif 878-878 The number 2 argument of sentential object is an instance of sentence
(domain sententialSubject 2 Sentence) Mid-level-ontology.kif 886-886 The number 2 argument of sentential subject is an instance of sentence
(domain states 2 Sentence) Media.kif 1819-1819 The number 2 argument of states is an instance of sentence
(domain truth 1 Sentence) Merge.kif 17310-17310 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 1826-1832
(=>
    (and
        (instance ?ORDER Ordering)
        (result ?ORDER ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Order))
Mid-level-ontology.kif 11904-11909
(=>
    (and
        (instance ?QUESTION Questioning)
        (result ?QUESTION ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Question))
Mid-level-ontology.kif 11871-11876
(=>
    (and
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))
Mid-level-ontology.kif 10581-10586
(=>
    (and
        (instance ?REQUEST Requesting)
        (result ?REQUEST ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Request))
Mid-level-ontology.kif 11893-11898
(=>
    (and
        (instance ?STATE Stating)
        (result ?STATE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Statement))
Mid-level-ontology.kif 11853-11858
(=>
    (and
        (instance ?SUPPOSE Supposing)
        (result ?SUPPOSE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Supposition))
Mid-level-ontology.kif 11882-11887
(=>
    (instance ?SENT Sentence)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?SENT ?PROP))))
Merge.kif 15556-15561
(=>
    (instance ?SENTENCE Sentence)
    (exists (?PHRASE1 ?PHRASE2)
        (and
            (instance ?PHRASE1 NounPhrase)
            (instance ?PHRASE2 VerbPhrase)
            (part ?PHRASE1 ?SENTENCE)
            (part ?PHRASE2 ?SENTENCE))))
Merge.kif 15428-15435

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


(=>
    (and
        (property ?ITEM ?VALUE)
        (instance ?VALUE TruthValue))
    (or
        (instance ?ITEM Sentence)
        (instance ?ITEM Proposition)))
Merge.kif 17291-17297
(=>
    (instance ?T Paragraph)
    (exists (?S)
        (and
            (instance ?S Sentence)
            (part ?S ?T))))
Mid-level-ontology.kif 867-872


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners