![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
|
| (subclass ParticleWord Word) | Merge.kif 15557-15557 | Particle word is a subclass of word |
| (documentation ParticleWord EnglishLanguage "An umbrella Class for any Word that does not fit into the other subclasses of Word. A ParticleWord is generally a small term that serves a grammatical or logical function, e.g. 'and', 'of', 'since', etc. At some point, this class might be broken up into the subclasses 'Connective', 'Preposition', etc. Note that the class ParticleWord includes both personal and possessive pronouns, e.g. 'she', 'hers', 'it', 'its', etc.") | Merge.kif 15558-15564 | Particle word is a subclass of word |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 |