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 14231-14231 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 15443-15445
(subclass Sentence LinguisticExpression) Merge.kif 15442-15442 Sentence is a subclass of linguistic expression

appearance as argument number 2

(subclass Formula Sentence) Merge.kif 1547-1547 Formula is a subclass of sentence
(subclass Order Sentence) Mid-level-ontology.kif 14283-14283 Order is a subclass of sentence
(subclass Question Sentence) Mid-level-ontology.kif 14250-14250 Question is a subclass of sentence
(subclass Request Sentence) Mid-level-ontology.kif 14272-14272 Request is a subclass of sentence
(subclass Statement Sentence) Mid-level-ontology.kif 14233-14233 Statement is a subclass of sentence
(subclass Supposition Sentence) Mid-level-ontology.kif 14261-14261 Supposition is a subclass of sentence
(termFormat ChineseLanguage Sentence "句子") chinese_format.kif 1039-1039
(termFormat EnglishLanguage Sentence "sentence") english_format.kif 1289-1289
(termFormat FrenchLanguage Sentence "phrase") french_format.kif 717-717
(termFormat Hindi Sentence "vaakya") terms-hindi.txt 249-249
(termFormat ItalianLanguage Sentence "Frase") terms-it.txt 252-252
(termFormat JapaneseLanguage Sentence "文") japanese_format.kif 2401-2401
(termFormat PortugueseLanguage Sentence "Frase") portuguese_format.kif 669-669
(termFormat cb Sentence "hunahuna") terms-cb.txt 254-254
(termFormat cz Sentence "sentence") terms-cz.txt 287-287
(termFormat ro Sentence "propoziþie") relations-ro.kif 738-738
(termFormat tg Sentence "pangungusap") terms-tg.txt 253-253

appearance as argument number 3

(domain grammaticalRelation 2 Sentence) Mid-level-ontology.kif 24356-24356 The number 2 argument of grammatical relation is an instance of sentence
(domain securityQA 2 Sentence) ComputingBrands.kif 4551-4551 The number 2 argument of security QA is an instance of sentence
(domain sententialObject 2 Sentence) Mid-level-ontology.kif 720-720 The number 2 argument of sentential object is an instance of sentence
(domain sententialSubject 2 Sentence) Mid-level-ontology.kif 728-728 The number 2 argument of sentential subject is an instance of sentence
(domain states 2 Sentence) Media.kif 1829-1829 The number 2 argument of states is an instance of sentence
(domain truth 1 Sentence) Merge.kif 16990-16990 The number 1 argument of truth is an instance of sentence


        (instance ?COMM LinguisticCommunication)
        (agent ?COMM ?AGENT)
        (patient ?COMM ?SENTENCE)
        (instance ?SENTENCE Sentence))
        (WhenFn ?COMM)
        (states ?AGENT ?SENTENCE)))
Media.kif 1836-1842
        (instance ?ORDER Ordering)
        (result ?ORDER ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Order))
Mid-level-ontology.kif 14287-14292
        (instance ?QUESTION Questioning)
        (result ?QUESTION ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Question))
Mid-level-ontology.kif 14254-14259
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))
Mid-level-ontology.kif 12977-12982
        (instance ?REQUEST Requesting)
        (result ?REQUEST ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Request))
Mid-level-ontology.kif 14276-14281
        (instance ?STATE Stating)
        (result ?STATE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Statement))
Mid-level-ontology.kif 14236-14241
        (instance ?SUPPOSE Supposing)
        (result ?SUPPOSE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Supposition))
Mid-level-ontology.kif 14265-14270
    (instance ?SENT Sentence)
    (exists (?PROP)
            (instance ?PROP Proposition)
            (containsInformation ?SENT ?PROP))))
Merge.kif 15447-15452
    (instance ?SENTENCE Sentence)
    (exists (?PHRASE1 ?PHRASE2)
            (instance ?PHRASE1 NounPhrase)
            (instance ?PHRASE2 VerbPhrase)
            (part ?PHRASE1 ?SENTENCE)
            (part ?PHRASE2 ?SENTENCE))))
Merge.kif 15332-15339


        (property ?ITEM ?VALUE)
        (instance ?VALUE TruthValue))
        (instance ?ITEM Sentence)
        (instance ?ITEM Proposition)))
Merge.kif 16973-16979
    (instance ?T Paragraph)
    (exists (?S)
            (instance ?S Sentence)
            (part ?S ?T))))
Mid-level-ontology.kif 709-714

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