|
|
   AntiViralMedicine NounPhrase
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint NounPhrase VerbPhrase) | Merge.kif 15374-15374 | 名詞句 と 動詞句 は disjoint では %n |
| (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 | 名詞句 は 句 の subclass では %n |
| 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 | 句 は 動詞句, 名詞句, + 前置詞句 に disjointly decomposed %n |
| (domain sententialObject 1 NounPhrase) | Mid-level-ontology.kif 712-712 | sententialObject の数値 1 引数は 名詞句 の instance では %n |
| (domain sententialSubject 1 NounPhrase) | Mid-level-ontology.kif 720-720 | sententialSubject の数値 1 引数は 名詞句 の instance では %n |
| 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 |
|
|
|