<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2002/07/owl#sameAs>	<http://uk.dbpedia.org/resource/\u0427\u0438\u0441\u043B\u0435\u043D\u043D\u044F_\u043E\u0434\u043D\u043E\u043C\u0456\u0441\u043D\u0438\u0445_\u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u0456\u0432> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Subset_variables> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Monadic_predicate_calculus?oldid=1052086753&ns=0> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2000/01/rdf-schema#comment>	"En logique math\u00E9matique, la logique monadique du premier ordre est le fragment syntaxique de la logique du premier ordre o\u00F9 il n'y a que des pr\u00E9dicats unaires. Les syllogismes usuels, comme ceux issus de la Logique de Port-Royal rel\u00E8vent de cette logique partielle."@fr .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2002/07/owl#sameAs>	<http://fr.dbpedia.org/resource/Logique_monadique_du_premier_ordre> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Decision_problem> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/abstract>	"En logique math\u00E9matique, la logique monadique du premier ordre est le fragment syntaxique de la logique du premier ordre o\u00F9 il n'y a que des pr\u00E9dicats unaires. Les syllogismes usuels, comme ceux issus de la Logique de Port-Royal rel\u00E8vent de cette logique partielle."@fr .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Logical_validity> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Syllogism> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2000/01/rdf-schema#label>	"Logique monadique du premier ordre"@fr .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Variable_(mathematics)> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Predicate_logic> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2002/07/owl#sameAs>	<https://global.dbpedia.org/id/4rYgS> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageID>	"8015680"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Atomic_formula> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2000/01/rdf-schema#comment>	"\u5728\u903B\u8F91\u4E2D\uFF0C\u4E00\u5143\u8C13\u8BCD\u6F14\u7B97\u662F\u6240\u6709\u8C13\u8BCD\u5B57\u6BCD\u90FD\u662F\u4E00\u5143\uFF08\u5C31\u662F\u53EA\u63A5\u53D7\u4E00\u4E2A\u53C2\u6570\uFF09\u5E76\u4E14\u6CA1\u6709\u51FD\u6570\u5B57\u6BCD\u7684\u8C13\u8BCD\u6F14\u7B97\u3002\u6240\u6709\u539F\u5B50\u516C\u5F0F\u90FD\u6709\u5F62\u5F0F \uFF0C\u8FD9\u91CC\u7684 \u662F\u8C13\u8BCD\u5B57\u6BCD\u800C \u662F\u53D8\u91CF\u3002"@zh .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2002/07/owl#sameAs>	<http://pt.dbpedia.org/resource/L\u00F3gica_de_segunda_ordem_mon\u00E1dica> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Polyadic_relation> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageLength>	"4646"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/abstract>	"\u0423 \u043B\u043E\u0433\u0456\u0446\u0456, \u043E\u0434\u043D\u043E\u043C\u0456\u0441\u043D\u0435 \u0447\u0438\u0441\u043B\u0435\u043D\u043D\u044F \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u0456\u0432 \u2014 \u0446\u0435 \u0444\u0440\u0430\u0433\u043C\u0435\u043D\u0442 \u043B\u043E\u0433\u0456\u043A\u0438 \u043F\u0435\u0440\u0448\u043E\u0433\u043E \u043F\u043E\u0440\u044F\u0434\u043A\u0443, \u0432 \u044F\u043A\u043E\u043C\u0443 \u0432\u0441\u0456 \u0441\u0438\u043C\u0432\u043E\u043B\u0438 \u0432\u0456\u0434\u043D\u043E\u0448\u0435\u043D\u044C \u0443 \u0441\u0438\u0433\u043D\u0430\u0442\u0443\u0440\u0456 \u0454 \u043E\u0434\u043D\u043E\u043C\u0456\u0441\u043D\u0438\u043C\u0438 (\u0442\u043E\u0431\u0442\u043E \u0432\u043E\u043D\u0438 \u0431\u0435\u0440\u0443\u0442\u044C \u043B\u0438\u0448\u0435 \u043E\u0434\u0438\u043D \u0430\u0440\u0433\u0443\u043C\u0435\u043D\u0442), \u0456 \u043D\u0435\u043C\u0430\u0454 \u0444\u0443\u043D\u043A\u0446\u0456\u043E\u043D\u0430\u043B\u044C\u043D\u0438\u0445 \u0441\u0438\u043C\u0432\u043E\u043B\u0456\u0432. \u0422\u0430\u043A\u0438\u043C \u0447\u0438\u043D\u043E\u043C, \u0443\u0441\u0456 \u0430\u0442\u043E\u043C\u043D\u0456 \u0444\u043E\u0440\u043C\u0443\u043B\u0438 \u043C\u0430\u044E\u0442\u044C \u0432\u0438\u0433\u043B\u044F\u0434 , \u0434\u0435 \u0454 \u0441\u0438\u043C\u0432\u043E\u043B\u043E\u043C \u0432\u0456\u0434\u043D\u043E\u0448\u0435\u043D\u043D\u044F \u0456 \u0454 \u0437\u043C\u0456\u043D\u043D\u043E\u044E . \u041E\u0434\u043D\u043E\u043C\u0456\u0441\u043D\u0435 \u0447\u0438\u0441\u043B\u0435\u043D\u043D\u044F \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u0430 \u043C\u043E\u0436\u0435 \u0431\u0443\u0442\u0438 \u043F\u0440\u043E\u0442\u0438\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0435 \u0437 \u043F\u043E\u043B\u0456\u0430\u0434\u0438\u0447\u043D\u0438\u043C \u0447\u0438\u0441\u043B\u0435\u043D\u043D\u044F\u043C \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u0430, \u044F\u043A\u0435 \u0434\u043E\u0437\u0432\u043E\u043B\u044F\u0454 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u0443\u0432\u0430\u0442\u0438 \u0441\u0438\u043C\u0432\u043E\u043B\u0438 \u0432\u0456\u0434\u043D\u043E\u0448\u0435\u043D\u043D\u044F, \u044F\u043A\u0456 \u0431\u0435\u0440\u0443\u0442\u044C \u0434\u0432\u0430 \u0430\u0431\u043E \u0431\u0456\u043B\u044C\u0448\u0435 \u0430\u0440\u0433\u0443\u043C\u0435\u043D\u0442\u0456\u0432"@uk .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Predicate_logic> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Mathematical_logic> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Charles_Sanders_Peirce> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageRevisionID>	"1052086753"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/abstract>	"Na l\u00F3gica, o calculo mon\u00E1dico de predicados (tamb\u00E9m referido como l\u00F3gica de primeira ordem mon\u00E1dica) \u00E9 um fragmento da l\u00F3gica de primeira ordem na qual, todos os simbolos de rela\u00E7\u00F5es da assinatura s\u00E3o mon\u00E1dicas (isso \u00E9, s\u00F3 podem receber um argumento), e n\u00E3o existem s\u00EDmbolos de fun\u00E7\u00F5es. Todas F\u00F3rmula at\u00F4micas s\u00E3o da forma , onde \u00E9 um s\u00EDmbolo de rela\u00E7\u00E3o e \u00E9 uma vari\u00E1vel. Calculo mon\u00E1dico de predicados pode ser contrastado com o calculo poli\u00E1dico de predicados, que possibilita s\u00EDmbolos relacionais que aceitam dois ou mais argumentos."@pt .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Augustus_De_Morgan> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Citation_needed> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Logical_calculi> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2000/01/rdf-schema#comment>	"Na l\u00F3gica, o calculo mon\u00E1dico de predicados (tamb\u00E9m referido como l\u00F3gica de primeira ordem mon\u00E1dica) \u00E9 um fragmento da l\u00F3gica de primeira ordem na qual, todos os simbolos de rela\u00E7\u00F5es da assinatura s\u00E3o mon\u00E1dicas (isso \u00E9, s\u00F3 podem receber um argumento), e n\u00E3o existem s\u00EDmbolos de fun\u00E7\u00F5es. Todas F\u00F3rmula at\u00F4micas s\u00E3o da forma , onde \u00E9 um s\u00EDmbolo de rela\u00E7\u00E3o e \u00E9 uma vari\u00E1vel. Calculo mon\u00E1dico de predicados pode ser contrastado com o calculo poli\u00E1dico de predicados, que possibilita s\u00EDmbolos relacionais que aceitam dois ou mais argumentos."@pt .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Portal> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Domain_of_discourse> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2002/07/owl#sameAs>	<http://www.wikidata.org/entity/Q6897882> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Decidability_(logic)> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/abstract>	"In logic, the monadic predicate calculus (also called monadic first-order logic) is the fragment of first-order logic in which all relation symbols in the signature are monadic (that is, they take only one argument), and there are no function symbols. All atomic formulas are thus of the form , where is a relation symbol and is a variable. Monadic predicate calculus can be contrasted with polyadic predicate calculus, which allows relation symbols that take two or more arguments."@en .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Logical_calculi> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/First-order_logic> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Propositional_logic> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2000/01/rdf-schema#label>	"L\u00F3gica de segunda ordem mon\u00E1dica"@pt .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2000/01/rdf-schema#comment>	"In logic, the monadic predicate calculus (also called monadic first-order logic) is the fragment of first-order logic in which all relation symbols in the signature are monadic (that is, they take only one argument), and there are no function symbols. All atomic formulas are thus of the form , where is a relation symbol and is a variable. Monadic predicate calculus can be contrasted with polyadic predicate calculus, which allows relation symbols that take two or more arguments."@en .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2002/07/owl#sameAs>	<http://rdf.freebase.com/ns/m.026nmcv> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Quantifier_(logic)> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2000/01/rdf-schema#comment>	"\u0423 \u043B\u043E\u0433\u0456\u0446\u0456, \u043E\u0434\u043D\u043E\u043C\u0456\u0441\u043D\u0435 \u0447\u0438\u0441\u043B\u0435\u043D\u043D\u044F \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u0456\u0432 \u2014 \u0446\u0435 \u0444\u0440\u0430\u0433\u043C\u0435\u043D\u0442 \u043B\u043E\u0433\u0456\u043A\u0438 \u043F\u0435\u0440\u0448\u043E\u0433\u043E \u043F\u043E\u0440\u044F\u0434\u043A\u0443, \u0432 \u044F\u043A\u043E\u043C\u0443 \u0432\u0441\u0456 \u0441\u0438\u043C\u0432\u043E\u043B\u0438 \u0432\u0456\u0434\u043D\u043E\u0448\u0435\u043D\u044C \u0443 \u0441\u0438\u0433\u043D\u0430\u0442\u0443\u0440\u0456 \u0454 \u043E\u0434\u043D\u043E\u043C\u0456\u0441\u043D\u0438\u043C\u0438 (\u0442\u043E\u0431\u0442\u043E \u0432\u043E\u043D\u0438 \u0431\u0435\u0440\u0443\u0442\u044C \u043B\u0438\u0448\u0435 \u043E\u0434\u0438\u043D \u0430\u0440\u0433\u0443\u043C\u0435\u043D\u0442), \u0456 \u043D\u0435\u043C\u0430\u0454 \u0444\u0443\u043D\u043A\u0446\u0456\u043E\u043D\u0430\u043B\u044C\u043D\u0438\u0445 \u0441\u0438\u043C\u0432\u043E\u043B\u0456\u0432. \u0422\u0430\u043A\u0438\u043C \u0447\u0438\u043D\u043E\u043C, \u0443\u0441\u0456 \u0430\u0442\u043E\u043C\u043D\u0456 \u0444\u043E\u0440\u043C\u0443\u043B\u0438 \u043C\u0430\u044E\u0442\u044C \u0432\u0438\u0433\u043B\u044F\u0434 , \u0434\u0435 \u0454 \u0441\u0438\u043C\u0432\u043E\u043B\u043E\u043C \u0432\u0456\u0434\u043D\u043E\u0448\u0435\u043D\u043D\u044F \u0456 \u0454 \u0437\u043C\u0456\u043D\u043D\u043E\u044E . \u041E\u0434\u043D\u043E\u043C\u0456\u0441\u043D\u0435 \u0447\u0438\u0441\u043B\u0435\u043D\u043D\u044F \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u0430 \u043C\u043E\u0436\u0435 \u0431\u0443\u0442\u0438 \u043F\u0440\u043E\u0442\u0438\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0435 \u0437 \u043F\u043E\u043B\u0456\u0430\u0434\u0438\u0447\u043D\u0438\u043C \u0447\u0438\u0441\u043B\u0435\u043D\u043D\u044F\u043C \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u0430, \u044F\u043A\u0435 \u0434\u043E\u0437\u0432\u043E\u043B\u044F\u0454 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u0443\u0432\u0430\u0442\u0438 \u0441\u0438\u043C\u0432\u043E\u043B\u0438 \u0432\u0456\u0434\u043D\u043E\u0448\u0435\u043D\u043D\u044F, \u044F\u043A\u0456 \u0431\u0435\u0440\u0443\u0442\u044C \u0434\u0432\u0430 \u0430\u0431\u043E \u0431\u0456\u043B\u044C\u0448\u0435 \u0430\u0440\u0433\u0443\u043C\u0435\u043D\u0442\u0456\u0432"@uk .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Signature_(mathematical_logic)> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Problem_of_multiple_generality> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Second-order_logic> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Term_logic> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Unary_operation> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/abstract>	"\u5728\u903B\u8F91\u4E2D\uFF0C\u4E00\u5143\u8C13\u8BCD\u6F14\u7B97\u662F\u6240\u6709\u8C13\u8BCD\u5B57\u6BCD\u90FD\u662F\u4E00\u5143\uFF08\u5C31\u662F\u53EA\u63A5\u53D7\u4E00\u4E2A\u53C2\u6570\uFF09\u5E76\u4E14\u6CA1\u6709\u51FD\u6570\u5B57\u6BCD\u7684\u8C13\u8BCD\u6F14\u7B97\u3002\u6240\u6709\u539F\u5B50\u516C\u5F0F\u90FD\u6709\u5F62\u5F0F \uFF0C\u8FD9\u91CC\u7684 \u662F\u8C13\u8BCD\u5B57\u6BCD\u800C \u662F\u53D8\u91CF\u3002"@zh .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Monadic_(arity)> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Arity> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Relation_(mathematics)> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://xmlns.com/foaf/0.1/isPrimaryTopicOf>	<http://en.wikipedia.org/wiki/Monadic_predicate_calculus> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2000/01/rdf-schema#label>	"\u0427\u0438\u0441\u043B\u0435\u043D\u043D\u044F \u043E\u0434\u043D\u043E\u043C\u0456\u0441\u043D\u0438\u0445 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u0456\u0432"@uk .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2002/07/owl#sameAs>	<http://zh.dbpedia.org/resource/\u4E00\u5143\u8C13\u8BCD\u6F14\u7B97> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Gottlob_Frege> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Logic> .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2000/01/rdf-schema#label>	"\u4E00\u5143\u8C13\u8BCD\u6F14\u7B97"@zh .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://www.w3.org/2000/01/rdf-schema#label>	"Monadic predicate calculus"@en .
<http://dbpedia.org/resource/Monadic_predicate_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Logical_equivalence> .