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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VerbPhrase
VerbPhrase(verb phrase)predicate, split_infinitive, verb_phrase

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 15317-15318
(subclass VerbPhrase Phrase) Merge.kif 15316-15316 Verb phrase is a subclass of phrase

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


(disjoint NounPhrase VerbPhrase) Merge.kif 15328-15328 Noun phrase is disjoint from verb phrase
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 15302-15302 Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(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 15320-15325

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


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


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