| NounPhrase | |
| appearance as argument number 1 |
|
|
| (disjoint NounPhrase VerbPhrase) | Merge.kif 14206-14206 | |
| (documentation NounPhrase ChineseLanguage "这是有着和 Noun 一样功能的 Phrase。") | chinese_format.kif 3547-3547 | |
| (documentation NounPhrase EnglishLanguage "A Phrase that has the same function as a Noun.") | Merge.kif 14207-14208 | |
| (subclass NounPhrase Phrase) | Merge.kif 14205-14205 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage NounPhrase "名词短语") | chinese_format.kif 1036-1036 | |
| (termFormat EnglishLanguage NounPhrase "noun phrase") | english_format.kif 1289-1289 |
| appearance as argument number 3 |
|
|
| (disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) | Merge.kif 14180-14180 | |
| (domain sententialObject 1 NounPhrase) | Mid-level-ontology.kif 876-876 | |
| (domain sententialSubject 1 NounPhrase) | Mid-level-ontology.kif 884-884 |
| antecedent |
|
|
| (=> (instance ?PHRASE NounPhrase) (exists (?NOUN) (and (instance ?NOUN Noun) (part ?NOUN ?PHRASE)))) |
Merge.kif 14219-14224 |
| consequent |
|
|
| (=> (instance ?SENTENCE Sentence) (exists (?PHRASE1 ?PHRASE2) (and (instance ?PHRASE1 NounPhrase) (instance ?PHRASE2 VerbPhrase) (part ?PHRASE1 ?SENTENCE) (part ?PHRASE2 ?SENTENCE)))) |
Merge.kif 14210-14217 |
|
|
|