NounPhrase(SintagmaNominale) |
appearance as argument number 1 |
(disjoint NounPhrase VerbPhrase) | Merge.kif 15374-15374 | SintagmaNominale è disgiunto da SintagmaVerbale |
(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 15375-15376 | |
(subclass NounPhrase Phrase) | Merge.kif 15373-15373 | SintagmaNominale è una sottoclasse di Sintagma |
appearance as argument number 2 |
(termFormat ChineseLanguage NounPhrase "名词短语") | chinese_format.kif 1036-1036 | |
(termFormat EnglishLanguage NounPhrase "noun phrase") | english_format.kif 1284-1284 | |
(termFormat FrenchLanguage NounPhrase "syntagme nominal") | french_format.kif 714-714 | |
(termFormat Hindi NounPhrase "sangyaa vaakyansha") | terms-hindi.txt 246-246 | |
(termFormat ItalianLanguage NounPhrase "SintagmaNominale") | terms-it.txt 249-249 | |
(termFormat JapaneseLanguage NounPhrase "名詞句") | japanese_format.kif 2397-2397 | |
(termFormat PortugueseLanguage NounPhrase "Sintagma Nominal") | portuguese_format.kif 666-666 | |
(termFormat cb NounPhrase "pangalang mugbong pinulongan") | terms-cb.txt 251-251 | |
(termFormat cz NounPhrase "noun phrase") | terms-cz.txt 284-284 | |
(termFormat ro NounPhrase "grup nominal") | relations-ro.kif 735-735 | |
(termFormat tg NounPhrase "Pariralang Pangalan") | terms-tg.txt 250-250 |
appearance as argument number 3 |
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) | Merge.kif 15348-15348 | Sintagma è scomposto disgiuntivamente in SintagmaVerbale, SintagmaNominale, + SintagmaPreposizionale |
(domain sententialObject 1 NounPhrase) | Mid-level-ontology.kif 712-712 | Il numero 1 argomenti di sententialObject è un istanza di SintagmaNominale |
(domain sententialSubject 1 NounPhrase) | Mid-level-ontology.kif 720-720 | Il numero 1 argomenti di sententialSubject è un istanza di SintagmaNominale |
antecedent |
(=> (instance ?PHRASE NounPhrase) (exists (?NOUN) (and (instance ?NOUN Noun) (part ?NOUN ?PHRASE)))) |
Merge.kif 15387-15392 |
consequent |
(=> (instance ?SENTENCE Sentence) (exists (?PHRASE1 ?PHRASE2) (and (instance ?PHRASE1 NounPhrase) (instance ?PHRASE2 VerbPhrase) (part ?PHRASE1 ?SENTENCE) (part ?PHRASE2 ?SENTENCE)))) |
Merge.kif 15378-15385 |