Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Sentence

appearance as argument number 1

(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 14101-14101 Phrase est disjointement decompos� en Statement, Supposition, Question, Request, + 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 15327-15329
(subclass Sentence LinguisticExpression) Merge.kif 15326-15326 Phrase est une sous-classe de expression linguistique

appearance as argument number 2

(subclass Formula Sentence) Merge.kif 1534-1534 Formule est une sous-classe de phrase
(subclass Order Sentence) Mid-level-ontology.kif 14153-14153 Order est une sous-classe de phrase
(subclass Question Sentence) Mid-level-ontology.kif 14120-14120 Question est une sous-classe de phrase
(subclass Request Sentence) Mid-level-ontology.kif 14142-14142 Request est une sous-classe de phrase
(subclass Statement Sentence) Mid-level-ontology.kif 14103-14103 Statement est une sous-classe de phrase
(subclass Supposition Sentence) Mid-level-ontology.kif 14131-14131 Supposition est une sous-classe de phrase
(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 250-250
(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 24436-24436 Le nombre 2 argument de grammaticalRelation est une instance de phrase
(domain securityQA 2 Sentence) ComputingBrands.kif 4549-4549 Le nombre 2 argument de securityQA est une instance de phrase
(domain sententialObject 2 Sentence) Mid-level-ontology.kif 692-692 Le nombre 2 argument de sententialObject est une instance de phrase
(domain sententialSubject 2 Sentence) Mid-level-ontology.kif 700-700 Le nombre 2 argument de sententialSubject est une instance de phrase
(domain states 2 Sentence) Media.kif 1829-1829 Le nombre 2 argument de states est une instance de phrase
(domain truth 1 Sentence) Merge.kif 16875-16875 Le nombre 1 argument de truth est une instance de phrase


        (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 14157-14162
        (instance ?QUESTION Questioning)
        (result ?QUESTION ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Question))
Mid-level-ontology.kif 14124-14129
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))
Mid-level-ontology.kif 12848-12853
        (instance ?REQUEST Requesting)
        (result ?REQUEST ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Request))
Mid-level-ontology.kif 14146-14151
        (instance ?STATE Stating)
        (result ?STATE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Statement))
Mid-level-ontology.kif 14106-14111
        (instance ?SUPPOSE Supposing)
        (result ?SUPPOSE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Supposition))
Mid-level-ontology.kif 14135-14140
    (instance ?SENT Sentence)
    (exists (?PROP)
            (instance ?PROP Proposition)
            (containsInformation ?SENT ?PROP))))
Merge.kif 15331-15336
    (instance ?SENTENCE Sentence)
    (exists (?PHRASE1 ?PHRASE2)
            (instance ?PHRASE1 NounPhrase)
            (instance ?PHRASE2 VerbPhrase)
            (part ?PHRASE1 ?SENTENCE)
            (part ?PHRASE2 ?SENTENCE))))
Merge.kif 15216-15223


        (property ?ITEM ?VALUE)
        (instance ?VALUE TruthValue))
        (instance ?ITEM Sentence)
        (instance ?ITEM Proposition)))
Merge.kif 16858-16864
    (instance ?T Paragraph)
    (exists (?S)
            (instance ?S Sentence)
            (part ?S ?T))))
Mid-level-ontology.kif 681-686

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