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 14202-14202 Statement, Supposition, Question, Request, + Orderdisjointly decomposed %n
(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 15413-15415
(subclass Sentence LinguisticExpression) Merge.kif 15412-15412 言語表現subclass では %n

appearance as argument number 2

(subclass Formula Sentence) Merge.kif 1547-1547 公式subclass では %n
(subclass Order Sentence) Mid-level-ontology.kif 14254-14254 Ordersubclass では %n
(subclass Question Sentence) Mid-level-ontology.kif 14221-14221 Questionsubclass では %n
(subclass Request Sentence) Mid-level-ontology.kif 14243-14243 Requestsubclass では %n
(subclass Statement Sentence) Mid-level-ontology.kif 14204-14204 Statementsubclass では %n
(subclass Supposition Sentence) Mid-level-ontology.kif 14232-14232 Suppositionsubclass では %n
(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 24289-24289 grammaticalRelation の数値 2 引数は instance では %n
(domain securityQA 2 Sentence) ComputingBrands.kif 4549-4549 securityQA の数値 2 引数は instance では %n
(domain sententialObject 2 Sentence) Mid-level-ontology.kif 692-692 sententialObject の数値 2 引数は instance では %n
(domain sententialSubject 2 Sentence) Mid-level-ontology.kif 700-700 sententialSubject の数値 2 引数は instance では %n
(domain states 2 Sentence) Media.kif 1829-1829 states の数値 2 引数は instance では %n
(domain truth 1 Sentence) Merge.kif 16961-16961 truth の数値 1 引数は instance では %n


        (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 14258-14263
        (instance ?QUESTION Questioning)
        (result ?QUESTION ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Question))
Mid-level-ontology.kif 14225-14230
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))
Mid-level-ontology.kif 12949-12954
        (instance ?REQUEST Requesting)
        (result ?REQUEST ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Request))
Mid-level-ontology.kif 14247-14252
        (instance ?STATE Stating)
        (result ?STATE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Statement))
Mid-level-ontology.kif 14207-14212
        (instance ?SUPPOSE Supposing)
        (result ?SUPPOSE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Supposition))
Mid-level-ontology.kif 14236-14241
    (instance ?SENT Sentence)
    (exists (?PROP)
            (instance ?PROP Proposition)
            (containsInformation ?SENT ?PROP))))
Merge.kif 15417-15422
    (instance ?SENTENCE Sentence)
    (exists (?PHRASE1 ?PHRASE2)
            (instance ?PHRASE1 NounPhrase)
            (instance ?PHRASE2 VerbPhrase)
            (part ?PHRASE1 ?SENTENCE)
            (part ?PHRASE2 ?SENTENCE))))
Merge.kif 15302-15309


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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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