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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - VerbPhrase
VerbPhrase(syntagme verbal)

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 15470-15471
(subclass VerbPhrase Phrase) Merge.kif 15469-15469 Syntagme verbal est une sous-classe de phrase

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


(disjoint NounPhrase VerbPhrase) Merge.kif 15481-15481 Syntagme nominal est disjoint de syntagme verbal
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 15455-15455 Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle
(termFormat ChineseLanguage VerbPhrase "动词短语") chinese_format.kif 1035-1035 Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle
(termFormat EnglishLanguage VerbPhrase "verb phrase") english_format.kif 1282-1282 Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle
(termFormat FrenchLanguage VerbPhrase "syntagme verbal") french_format.kif 713-713 Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle
(termFormat Hindi VerbPhrase "kriyaa vaakyaansha") terms-hindi.txt 245-245 Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle
(termFormat ItalianLanguage VerbPhrase "SintagmaVerbale") terms-it.txt 248-248 Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle
(termFormat JapaneseLanguage VerbPhrase "動詞句") japanese_format.kif 2396-2396 Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle
(termFormat PortugueseLanguage VerbPhrase "Sintagma Verbal") portuguese_format.kif 665-665 Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle
(termFormat cb VerbPhrase " berbong mugbong pinulongan") terms-cb.txt 250-250 Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle
(termFormat cz VerbPhrase "verb phrase") terms-cz.txt 283-283 Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle
(termFormat de VerbPhrase "Verbphrase") terms-de.txt 542-542 Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle
(termFormat ro VerbPhrase "grup verbal") relations-ro.kif 734-734 Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle
(termFormat tg VerbPhrase "Pariralang Pandiwa") terms-tg.txt 249-249 Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle

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


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

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


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


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