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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - PrepositionalPhrase

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 14168-14169
(subclass PrepositionalPhrase Phrase) Merge.kif 14167-14167 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 14121-14121 Phrase is disjointly decomposed into verb phrase, noun phrase, and PrepositionalPhrase


    (instance ?PHRASE PrepositionalPhrase)
    (exists (?PREP)
            (instance ?PREP ParticleWord)
            (part ?PREP ?PHRASE))))
Merge.kif 14171-14176

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners