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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VerbPhrase
VerbPhrase(SintagmaVerbale)

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


(documentation VerbPhrase ChineseLanguage "这是有着和 Verb 一样功能的 Phrase。") chinese_format.kif 3546-3546
(documentation VerbPhrase EnglishLanguage "A Phrase that has the same function as a Verb.") Merge.kif 15363-15364
(subclass VerbPhrase Phrase) Merge.kif 15362-15362 SintagmaVerbale è una sottoclasse di Sintagma

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


(disjoint NounPhrase VerbPhrase) Merge.kif 15374-15374 SintagmaNominale è disgiunto da SintagmaVerbale
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 15348-15348 Sintagma è scomposto disgiuntivamente in SintagmaVerbale, SintagmaNominale, + SintagmaPreposizionale
(termFormat ChineseLanguage VerbPhrase "动词短语") chinese_format.kif 1035-1035
(termFormat EnglishLanguage VerbPhrase "verb phrase") english_format.kif 1282-1282
(termFormat FrenchLanguage VerbPhrase "syntagme verbal") french_format.kif 713-713
(termFormat Hindi VerbPhrase "kriyaa vaakyaansha") terms-hindi.txt 245-245
(termFormat ItalianLanguage VerbPhrase "SintagmaVerbale") terms-it.txt 248-248
(termFormat JapaneseLanguage VerbPhrase "動詞句") japanese_format.kif 2396-2396
(termFormat PortugueseLanguage VerbPhrase "Sintagma Verbal") portuguese_format.kif 665-665
(termFormat cb VerbPhrase " berbong mugbong pinulongan") terms-cb.txt 250-250
(termFormat cz VerbPhrase "verb phrase") terms-cz.txt 283-283
(termFormat ro VerbPhrase "grup verbal") relations-ro.kif 734-734
(termFormat tg VerbPhrase "Pariralang Pandiwa") terms-tg.txt 249-249

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


(=>
    (instance ?PHRASE VerbPhrase)
    (exists (?VERB)
        (and
            (instance ?VERB Verb)
            (part ?VERB ?PHRASE))))
Merge.kif 15366-15371

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


(=>
    (instance ?SENTENCE Sentence)
    (exists (?PHRASE1 ?PHRASE2)
        (and
            (instance ?PHRASE1 NounPhrase)
            (instance ?PHRASE2 VerbPhrase)
            (part ?PHRASE1 ?SENTENCE)
            (part ?PHRASE2 ?SENTENCE))))
Merge.kif 15378-15385


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