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 11917-11917 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 14324-14326
(subclass Sentence LinguisticExpression) Merge.kif 14323-14323 Sentence is a subclass of linguistic expression

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


(subclass Formula Sentence) Merge.kif 1427-1427 Formula is a subclass of sentence
(subclass Order Sentence) Mid-level-ontology.kif 11969-11969 Order is a subclass of sentence
(subclass Question Sentence) Mid-level-ontology.kif 11936-11936 Question is a subclass of sentence
(subclass Request Sentence) Mid-level-ontology.kif 11958-11958 Request is a subclass of sentence
(subclass Statement Sentence) Mid-level-ontology.kif 11919-11919 Statement is a subclass of sentence
(subclass Supposition Sentence) Mid-level-ontology.kif 11947-11947 Supposition is a subclass of sentence
(termFormat ChineseLanguage Sentence "句子") chinese_format.kif 1039-1039
(termFormat EnglishLanguage Sentence "sentence") english_format.kif 1294-1294

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


(domain grammaticalRelation 2 Sentence) Mid-level-ontology.kif 22169-22169 The number 2 argument of grammatical relation is an instance of sentence
(domain securityQA 2 Sentence) ComputingBrands.kif 4492-4492 The number 2 argument of securityQA is an instance of sentence
(domain sententialObject 2 Sentence) Mid-level-ontology.kif 876-876 The number 2 argument of sentential object is an instance of sentence
(domain sententialSubject 2 Sentence) Mid-level-ontology.kif 884-884 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 15855-15855 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 11973-11978
(=>
    (and
        (instance ?QUESTION Questioning)
        (result ?QUESTION ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Question))
Mid-level-ontology.kif 11940-11945
(=>
    (and
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))
Mid-level-ontology.kif 10638-10643
(=>
    (and
        (instance ?REQUEST Requesting)
        (result ?REQUEST ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Request))
Mid-level-ontology.kif 11962-11967
(=>
    (and
        (instance ?STATE Stating)
        (result ?STATE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Statement))
Mid-level-ontology.kif 11922-11927
(=>
    (and
        (instance ?SUPPOSE Supposing)
        (result ?SUPPOSE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Supposition))
Mid-level-ontology.kif 11951-11956
(=>
    (instance ?SENT Sentence)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?SENT ?PROP))))
Merge.kif 14328-14333
(=>
    (instance ?SENTENCE Sentence)
    (exists (?PHRASE1 ?PHRASE2)
        (and
            (instance ?PHRASE1 NounPhrase)
            (instance ?PHRASE2 VerbPhrase)
            (part ?PHRASE1 ?SENTENCE)
            (part ?PHRASE2 ?SENTENCE))))
Merge.kif 14213-14220

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


(=>
    (and
        (property ?ITEM ?VALUE)
        (instance ?VALUE TruthValue))
    (or
        (instance ?ITEM Sentence)
        (instance ?ITEM Proposition)))
Merge.kif 15838-15844
(=>
    (instance ?T Paragraph)
    (exists (?S)
        (and
            (instance ?S Sentence)
            (part ?S ?T))))
Mid-level-ontology.kif 865-870


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