graphPart |
appearance as argument number 1 |
(documentation graphPart ChineseLanguage "这是 Graph 和它的部分之间的一个基本关系。 (graphPart ?PART ?GRAPH) 的意思是 ?PART 是Graph ?GRAPH 的一个 GraphArc 或 GraphNode。") | chinese_format.kif 2349-2350 | |
(documentation graphPart EnglishLanguage "A basic relation for Graphs and their parts. (graphPart ?PART ?GRAPH) means that ?PART is a GraphArc or GraphNode of the Graph ?GRAPH.") | Merge.kif 5892-5894 | |
(documentation graphPart JapaneseLanguage "Graph とそのパーツの基本的な関係。(graphPart ?PART ?GRAPH) とは、?PARTが Graph ?GRAPH の GraphArc または GraphNode であることを 意味する。") | japanese_format.kif 1024-1026 | |
(domain graphPart 1 GraphElement) | Merge.kif 5889-5889 | The number 1 argument of graph part is an instance of graph element |
(domain graphPart 2 Graph) | Merge.kif 5890-5890 | The number 2 argument of graph part is an instance of graph |
(instance graphPart AsymmetricRelation) | Merge.kif 5886-5886 | graph part is an instance of asymmetric relation |
(instance graphPart BinaryPredicate) | Merge.kif 5885-5885 | graph part is an instance of binary predicate |
(instance graphPart IrreflexiveRelation) | Merge.kif 5888-5888 | graph part is an instance of irreflexive relation |
(instance graphPart TotalValuedRelation) | Merge.kif 5887-5887 | graph part is an instance of total valued relation |
appearance as argument number 2 |
(format ChineseLanguage graphPart "%1 %n 是 %2 的 part") | chinese_format.kif 749-749 | |
(format EnglishLanguage graphPart "%1 is %n a part of %2") | english_format.kif 751-751 | |
(format FrenchLanguage graphPart "%1 est %n une partie de %2") | french_format.kif 452-452 | |
(format ItalianLanguage graphPart "%1 è %n una parte di %2") | relations-it.txt 119-119 | |
(format JapaneseLanguage graphPart "%1 は %2 の part では %n") | japanese_format.kif 2160-2160 | |
(format PortugueseLanguage graphPart "%1 e' %n uma &parte de %2") | portuguese_format.kif 404-404 | |
(format cz graphPart "%1 %p{je} %n{nen�} ��st� %2") | relations-cz.txt 465-465 | |
(format de graphPart "%1 ist ein teil von %2 %n{nicht}") | relations-de.txt 966-966 | |
(format hi graphPart "%1 %2 kaa bhaaga %n hai") | relations-hindi.txt 159-159 | |
(format ro graphPart "%1 %n{nu} este o part%t{parte} a kui %2") | relations-ro.kif 474-474 | |
(format sv graphPart "%1 är %n{inte} en del av %2") | relations-sv.txt 517-517 | |
(format tg graphPart "%1 %n ay ang bahagi sa %2") | relations-tg.txt 246-246 | |
(termFormat ChineseLanguage graphPart "图形部分") | chinese_format.kif 750-750 | |
(termFormat ChineseTraditionalLanguage graphPart "圖形部分") | domainEnglishFormat.kif 26459-26459 | |
(termFormat EnglishLanguage graphPart "graph part") | domainEnglishFormat.kif 26458-26458 |
antecedent |
consequent |