Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PrepositionalPhrase(prepositional phrase) |  | prepositional_phrase |
| appearance as argument number 1 |
|
|
| (subclass PrepositionalPhrase Phrase) | Merge.kif 15640-15640 | Prepositional phrase is a subclass of phrase |
| (documentation PrepositionalPhrase EnglishLanguage "A Phrase that begins with a preposition and that functions as an Adjective or an Adverb.") | Merge.kif 15641-15642 | Prepositional phrase is a subclass of phrase |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PrepositionalPhrase "prepositional phrase") | domainEnglishFormat.kif 65351-65351 |
| appearance as argument number 4 |
|
|
| (disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) | Merge.kif 15594-15594 | Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase |
| antecedent |
|
|
| (=> (instance ?PHRASE PrepositionalPhrase) (exists (?PREP) (and (instance ?PREP ParticleWord) (part ?PREP ?PHRASE)))) |
Merge.kif 15644-15649 | If X is an instance of prepositional phrase, then there exists Y such that Y is an instance of particle word and Y is a part of X |
|