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 |
![]() |
![]() |