Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   MusicGenre
|
|
|
| appearance as argument number 1 |
|
|
| (subclass NounPhrase Phrase) | Merge.kif 15619-15619 | Noun phrase is a subclass of phrase |
| (disjoint NounPhrase VerbPhrase) | Merge.kif 15620-15620 | Noun phrase is disjoint from verb phrase |
| (documentation NounPhrase EnglishLanguage "A Phrase that has the same function as a Noun.") | Merge.kif 15621-15622 | Noun phrase is disjoint from verb phrase |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage NounPhrase "noun phrase") | english_format.kif 1288-1288 |
| appearance as argument number 3 |
|
|
| (disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) | Merge.kif 15594-15594 | Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase |
| (domain sententialObject 1 NounPhrase) | Mid-level-ontology.kif 702-702 | The number 1 argument of sentential object is an instance of noun phrase |
| (domain sententialSubject 1 NounPhrase) | Mid-level-ontology.kif 710-710 | The number 1 argument of sentential subject is an instance of noun phrase |
| antecedent |
|
|
| (=> (instance ?PHRASE NounPhrase) (exists (?NOUN) (and (instance ?NOUN Noun) (part ?NOUN ?PHRASE)))) |
Merge.kif 15633-15638 | If X is an instance of noun phrase, then there exists Y such that Y is an instance of noun and Y is a part of X |
| consequent |
|
|
| (=> (instance ?SENTENCE Sentence) (exists (?PHRASE1 ?PHRASE2) (and (instance ?PHRASE1 NounPhrase) (instance ?PHRASE2 VerbPhrase) (part ?PHRASE1 ?SENTENCE) (part ?PHRASE2 ?SENTENCE)))) |
Merge.kif 15624-15631 | If X is an instance of sentence, then there exist Y, Z such that Y is an instance of noun phrase, Z is an instance of verb phrase, Y is a part of X, and Z is a part of X |
|