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 14183-14184
(subclass VerbPhrase Phrase) Merge.kif 14182-14182 Verb phrase is a subclass of phrase

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


(disjoint NounPhrase VerbPhrase) Merge.kif 14194-14194 Noun phrase is disjoint from verb phrase
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 14168-14168 Phrase is disjointly decomposed into verb phrase, noun phrase, and PrepositionalPhrase
(termFormat ChineseLanguage VerbPhrase "动词短语") chinese_format.kif 1035-1035
(termFormat EnglishLanguage VerbPhrase "verb phrase") english_format.kif 1287-1287

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


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

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


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


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