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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Sentence
Sentence(phrase)

appearance as argument number 1
-------------------------


(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 15602-15602 Phrase est disjointement decompos� en Statement, Supposition, Question, Request, + Order
(documentation Sentence ChineseLanguage "这是以一种 Language 句法工整的说话。它至少包括一个谓词 和一个主语(可以是明确的或含蓄的),并用于表达一个 Proposition。") chinese_format.kif 3559-3560 Phrase est disjointement decompos� en Statement, Supposition, Question, Request, + Order
(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 15596-15598 Phrase est disjointement decompos� en Statement, Supposition, Question, Request, + Order
(subclass Sentence LinguisticExpression) Merge.kif 15595-15595 Phrase est une sous-classe de expression linguistique

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


(subclass Formula Sentence) Merge.kif 1557-1557 Formule est une sous-classe de phrase
(subclass Order Sentence) Mid-level-ontology.kif 15654-15654 Order est une sous-classe de phrase
(subclass Question Sentence) Mid-level-ontology.kif 15621-15621 Question est une sous-classe de phrase
(subclass Request Sentence) Mid-level-ontology.kif 15643-15643 Request est une sous-classe de phrase
(subclass Statement Sentence) Mid-level-ontology.kif 15604-15604 Statement est une sous-classe de phrase
(subclass Supposition Sentence) Mid-level-ontology.kif 15632-15632 Supposition est une sous-classe de phrase
(termFormat ChineseLanguage Sentence "句子") chinese_format.kif 1039-1039 Supposition est une sous-classe de phrase
(termFormat EnglishLanguage Sentence "sentence") english_format.kif 1289-1289 Supposition est une sous-classe de phrase
(termFormat FrenchLanguage Sentence "phrase") french_format.kif 717-717 Supposition est une sous-classe de phrase
(termFormat Hindi Sentence "vaakya") terms-hindi.txt 249-249 Supposition est une sous-classe de phrase
(termFormat ItalianLanguage Sentence "Frase") terms-it.txt 252-252 Supposition est une sous-classe de phrase
(termFormat JapaneseLanguage Sentence "文") japanese_format.kif 2401-2401 Supposition est une sous-classe de phrase
(termFormat PortugueseLanguage Sentence "Frase") portuguese_format.kif 669-669 Supposition est une sous-classe de phrase
(termFormat cb Sentence "hunahuna") terms-cb.txt 254-254 Supposition est une sous-classe de phrase
(termFormat cz Sentence "sentence") terms-cz.txt 287-287 Supposition est une sous-classe de phrase
(termFormat de Sentence "Satz") terms-de.txt 546-546 Supposition est une sous-classe de phrase
(termFormat ro Sentence "propoziþie") relations-ro.kif 738-738 Supposition est une sous-classe de phrase
(termFormat tg Sentence "pangungusap") terms-tg.txt 253-253 Supposition est une sous-classe de phrase

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


(domain grammaticalRelation 2 Sentence) Mid-level-ontology.kif 26018-26018 Le nombre 2 argument de grammaticalRelation est une instance de phrase
(domain securityQA 2 Sentence) ComputingBrands.kif 4546-4546 Le nombre 2 argument de securityQA est une instance de phrase
(domain sententialObject 2 Sentence) Mid-level-ontology.kif 713-713 Le nombre 2 argument de sententialObject est une instance de phrase
(domain sententialSubject 2 Sentence) Mid-level-ontology.kif 721-721 Le nombre 2 argument de sententialSubject est une instance de phrase
(domain states 2 Sentence) Media.kif 1831-1831 Le nombre 2 argument de states est une instance de phrase
(domain truth 1 Sentence) Merge.kif 17165-17165 Le nombre 1 argument de truth est une instance de phrase

antecedent
-------------------------


(=>
    (and
        (instance ?COMM LinguisticCommunication)
        (agent ?COMM ?AGENT)
        (patient ?COMM ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (holdsDuring
        (WhenFn ?COMM)
        (states ?AGENT ?SENTENCE)))
Media.kif 1838-1844
(=>
    (and
        (instance ?ORDER Ordering)
        (result ?ORDER ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Order))
Mid-level-ontology.kif 15658-15663
(=>
    (and
        (instance ?QUESTION Questioning)
        (result ?QUESTION ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Question))
Mid-level-ontology.kif 15625-15630
(=>
    (and
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))
Mid-level-ontology.kif 14308-14313
(=>
    (and
        (instance ?REQUEST Requesting)
        (result ?REQUEST ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Request))
Mid-level-ontology.kif 15647-15652
(=>
    (and
        (instance ?STATE Stating)
        (result ?STATE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Statement))
Mid-level-ontology.kif 15607-15612
(=>
    (and
        (instance ?SUPPOSE Supposing)
        (result ?SUPPOSE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Supposition))
Mid-level-ontology.kif 15636-15641
(=>
    (instance ?SENT Sentence)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?SENT ?PROP))))
Merge.kif 15600-15605
(=>
    (instance ?SENTENCE Sentence)
    (exists (?PHRASE1 ?PHRASE2)
        (and
            (instance ?PHRASE1 NounPhrase)
            (instance ?PHRASE2 VerbPhrase)
            (part ?PHRASE1 ?SENTENCE)
            (part ?PHRASE2 ?SENTENCE))))
Merge.kif 15485-15492

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


(=>
    (and
        (property ?ITEM ?VALUE)
        (instance ?VALUE TruthValue))
    (or
        (instance ?ITEM Sentence)
        (instance ?ITEM Proposition)))
Merge.kif 17148-17154
(=>
    (instance ?T Paragraph)
    (exists (?S)
        (and
            (instance ?S Sentence)
            (part ?S ?T))))
Mid-level-ontology.kif 702-707


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