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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PrepositionalPhrase

Sigma KEE - PrepositionalPhrase
PrepositionalPhraseprepositional_phrase

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


(documentation PrepositionalPhrase ChineseLanguage "这是以介词为首的 Phrase,它有着 AdjectiveAdverb 的作用。") chinese_format.kif 3548-3549
(documentation PrepositionalPhrase EnglishLanguage "A Phrase that begins with a preposition and that functions as an Adjective or an Adverb.") Merge.kif 14215-14216
(subclass PrepositionalPhrase Phrase) Merge.kif 14214-14214 PrepositionalPhrase is a subclass of phrase

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


(termFormat ChineseLanguage PrepositionalPhrase "介词短语") chinese_format.kif 1037-1037

appearance as argument number 4
-------------------------


(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 14168-14168 Phrase is disjointly decomposed into verb phrase, noun phrase, and PrepositionalPhrase

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


(=>
    (instance ?PHRASE PrepositionalPhrase)
    (exists (?PREP)
        (and
            (instance ?PREP ParticleWord)
            (part ?PREP ?PHRASE))))
Merge.kif 14218-14223


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